EF>EK