 In addition to the applicability problem, there are two further crucial problems for formalism as developed by Goodman and Quine. Firstly it is not clear that they are entitled to the general claims they make about syntax, construed as a theory about certain concrete marks and fusions of marks. Thus when arguing that their definition of formula in terms of ‘quasi-formula’ gives us the results we want, they say: