  together to give the definition of the concept of truth. It is their treatment of ‘=df’ (the ‘iff’ of definitional concept introduction), together with the T-biconditionals of the form (10), that determine the revision rule τM.  