Es scheint mir man könnte wohl || dürfte sehr wohl || wohl Sätze wie 2 ≠ 5 gebrauchen, wenn sie auch sehr überflüssig wären. 2 = 2 ist sinnlos weil seine Anwendung keinen sichtbaren Erfolg hat. (die Substitution von 2 für 2.)