e1 -> e