 In the terminology of the revision theory, \(\tau\) is a revision rule. It takes us from one hypothesis about the interpretation of \(\Tr\) to another. Sequences of values we generate by such revision rules, starting with a given initial hypothesis, are revision sequences. We leave to a more full presentation the important issue of the right way to define transfinite revision sequences. (See the entry on  revision theories of truth.)