ES -> S
S -> ES