ES -> S S -> ES