S:Term. (
t:Term. S reps t) 
L(tr/S)) & RespectsNot(Tr; L) & ReflectsProp(Tr; tr; Tr)t,qt:Term. qt reps t {Tr(qP/qt) 
Tr(t)}
is mentioned by
| Def RepsTruth(L; Tr; tr) == (S:Term. (t:Term. S reps t) L(tr/S)) & RespectsNot(Tr; L) & ReflectsProp(Tr; tr; Tr) | [RepsTruth] |