ED_EK(F)