S -> Z