 Weir, by contrast, explicitly embraces formalism (1991; 1993; 2010; 2016), moreover formalism in the game formalism tradition. His position, if situated with respect to fictionalism, can be seen as one in which ‘consequence’ is read, in the formalist tradition, syntactically, in terms of formal derivability. As a first approximation, the position is that a mathematical sentence is true if there exists a concrete derivation of a token of it, false if there exists a concrete derivation of a token of its negation. Since truth and falsity conditions make no appeal to abstract proofs, this type of formalism is firmly anti-platonist. 