However, paradoxes arise when the truth predicate is applied to sentences that contain that very predicate or related ones; so we are called upon to recognize rather a hierarchy of truth predicates, each of which behaves properlv only in application to sentences that do not contain that predicate itself or higher ones.