test01 revision 4cfcd12dc70f806314d0f72040ab68adb6f5cc99
( T <-> ~ F ) /\ [ anindex ] ( <other> ( T \/ F ) -> F )