 Enumeration plays many roles in Descartes’ method, and most of them are not related to the reduction of the role played by memory in long or complex deductions (see Beck 1952: 111–134; Weber 1964: 48–57; Marion 1975: 103–113; Smith 2010: 67–113). One can distinguish between five senses of enumeration in the Rules. Enumeration1 is “a verification of the logical steps already traversed in a deductive process” (Beck 1952: 143; based on Rule 7, AT 10: 387–388, 14–25, 1–17, CSM 1: 25). Enumeration1 has already been discussed above.