The definable truth predicates are truly redundant, because they are expressible in PA; therefore there is no need to introduce them axiomatically. All truth predicates in the following are not definable in the language of arithmetic, and therefore not redundant at least in the sense that they are not definable. 