X -> R
0 -> X
R -> 0
E -> Ep
Ep -> E