EF(3)