A Theory of Predicates by