 In conclusion, the formalist who espouses the meaningfulness and indeed truth of standard mathematical theories, including proof theory for example, has more resources to meet such claims than classic game formalism. The question is whether these are enough to salvage a position which it is fair to say most philosophers of mathematics still think hopeless. There is, on the other hand, certainly no universal consensus that formalism is dead and buried and signs of strong sympathy for formalism among some mathematicians and computer scientists. 