 The game formalist sticks with the view that mathematical utterances have no meaning; or at any rate the terms occurring therein do not pick out objects and properties and the utterances cannot be used to state facts. Rather mathematics is a calculus in which ‘empty’ symbol strings are transformed according to fixed rules. Thomae puts it this way: