(riAJ~C/\} 
aAJx) 
