clarify (apart => neq) => some LEM