Major Section: PROGRAMMING
(Booleanp x) is t if x is t or nil, and is nil otherwise.
See generalized-booleans for a discussion of a potential
soundness problem for ACL2 related to the question: Which Common
Lisp functions are known to return Boolean values?