v1.0.0
combine predicate (bool returning) functions with propositional logic connectives (and, or, not)