Predicate Composition Implementations