Efk = ewc