a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksa ( ( T /\ F ) \/ T ) <- ( [ mop1 ] T <-> T ) <-> ~ ~ F \/ T -> T

a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksa