Boolean algebra package for common lisp