PredicateLaws

laws

PredicateTests

discipline

predicate

PredicateTests