 Hence he is not motivated by an anti-platonist horror of abstract objects. His neutrality, indeed, is somewhat compromised by the fact that Curry is perfectly happy to commit to an infinite ontology of presumably abstract expression types. Officially he evinces disinterest in what the primitives—he misleadingly calls them ‘tokens’—of his formal systems are: