letx = y in e