;; => #t