a g : Z4.