Predicate Dispatch

See PredicateDispatching.