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