@neauoire the third to last clause, it yields `(#t)` when `(or (#f) (#f))`