Restricted truth predicates that apply only to sentences of bounded complexity, as in Hájek and Pudl...