ARSL and COQ6