"Dieses Logiksystem wurde ausgiebig untersucht. Logiker untersuchen Logiken unter anderem daraufhin, ob sie entscheidbar sind. Die Regel der Orthomodularität entspricht keiner in der ersten Stufe der Logik formulierbaren Rahmen-Bedingung. Deshalb ist ihre Entscheidbarkeit bisher noch nicht bewiesen.�" Sehr holpriger Absatz.