a : Z2;