Adding (unproved) eapply.