(not #t)