'[Genr[S,i[nec`0[S,z`2[']],{BA],[B]],[B]],z