( allNacs Z2 ( j .)