Boolean predicates

Summary