Tarski's Convention T reveals that any adequate truth predicate must satisfy 'S is true iff p', gene...