A Theory of Predicates door