pushing predicate

Additional Information