Current

Testing Boolean predicates

Abstract