 This approach is even stronger in a related discussion where Kilvington rejects what is nowadays called Tarskian biconditionals, or the equivalence between a proposition and the claim that the proposition is true. Logically, inferring that you are in Rome from the claim that the sentence ‘you are in Rome’ is true is valid only if ‘you are in Rome’ means that you are in Rome. (S47, (t); Kretzmann &amp; Kretzmann 1990b, 128.)