(True:) -> true
(true & any...) -> bool
(true | any...) -> true
(true ^ any...) -> bool
(true !) -> false
not is alias of !.
not
!
(true not) -> false