theorem :: BINARI_3:15

'not' <*TRUE*> = <*FALSE*>