?- a a Jf 3 cnxj