Finish of Predicate Composition Implementations