 This is presumably necessary. But it is important to observe that it is in one respect crucially different from the genuine Tarski biconditionals. It makes no use of a non-quoted sentence, or in fact any sentence at all. It does not have the disquotational character of the Tarski biconditionals.