 Recognizing these uses for a truth predicate, we might simply think of it as introduced into a language by stipulation. The Tarski biconditionals themselves might be stipulated, as the minimalists envisage. One could also construe the clauses of a recursive Tarskian theory as stipulated. (There are some significant logical differences between these two options. See Halbach (1999) and Ketland (1999) for discussion.) Other deflationists, such as Beall (2005) or Field (1994), might prefer to focus here on rules of inference or rules of use, rather than the Tarski biconditionals themselves.