 That Spinoza did not himself provide the mathematicization of his notion of motion-and-rest that would render his theory of body non-circular and sufficiently clear to be understood (or imagined) does not entail that this cannot be done. A number of commentators have attempted to show that Spinoza's account of variety in matter by appeal to “motion and rest” can be so rendered. Garrett, whose account we have already examined, nods his head in this direction. Recall that PId5 defines an individual as being composed of bodies that “communicate their motions to one another in a certain fixed manner”. Later lemmas characterize this fixed manner as a “ratio” of motion and rest. Notwithstanding his realization that, for a number of reasons, such a ratio must be understood as a pattern rather than a numerical proportion, Garrett's expresses sanguine confidence that “any such pattern could be expressed by a mathematical formula” (1994, p. 86). Matson (1990) also places weight on the possible quantifiability of motion and rest as a means of in rendering it a clear and distinct, non-imaginary basis for our understanding of the individuation of bodies, taking the idea of an atomic number as his model: