The Predicate Theory