EF(^