Correct EL 7 logic