(not #t)  → #f
(not #f)  → #t
(not null) → #f
(not 0) → #f