Quine only mentions that he himself “was able to help them on a technical problem” (Quine 1985, 122). Leonard’s system of Singular Terms is significantly different from, and indeed in philosophically interesting ways weaker than, the Calculus of Individuals (Rossberg 2009), but the exact extent of Goodman’s technical contribution to the calculus remains unknown.