 Enumeration3 is “a form of deduction based on the enumeration of all possible alternatives or analogous instances” (Beck 1952: 143; based on Rule 7, AT 10: 388–389, 29–30, 1–7, CSM 1: 26 and Rule 8, AT 10: 394–395, CSM 1: 29). For example, 