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