Add final alg for predicate manipulate