z -> e + w
e + w -> z
e + z -> ez
ez -> e + z
ez -> 2*e + w
2*e + w -> ez