E ^ tli p!