EF: