f : E 1|