ES -> X X -> ES ES -> X X -> ES