7 steps: S->X X->Z S->X X->Z Z->Y S->X X->Z