n3[A,B,A,z,Gen`2[[C]],l]