ef<^