 Tarski gives a number of conditions that, as he puts it, any adequate definition of truth must satisfy. The central of these conditions is what is now most often referred to as Schema T (or the T-schema or Convention T or the Tarski biconditionals):