e>¬f