 This picture in turn suggests the idea that the contextual circumstances which ‘make true’, in conjunction with independent reality, an utterance, may make it true in a non-realist fashion. In Weir’s version of game formalism, the fundamental idea is that what makes true (or false) \(\text{‘}\sin^2\theta +\cos^2\theta = 1\text{’}\) in a particular system is the existence of a concrete proof or refutation, though the statement that such a concrete proof exists is no part of the literal meaning or sense of the claim. 