Predicates as first class citizens