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