test02.s revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
( T <-> ~ F ) /\ [ anindex ] ( <other> ( T \/ F ) -> F )