 In this last case, 2 (ii), Ockham noted: “it is possible to descend by way of a proposition with a disjunctive predicate and it is possible to infer the original proposition from any [singular]” (tr. Loux p.  201).[27]  Thus the predicate of an A-proposition has merely confused supposition since descents 1 and 2 (i) are invalid, but from ‘Every man is an animal’ one can validly infer ‘Every man is this animal or that animal and so on for all animals’, and conversely, from ‘Every man is this animal’ (were it ever true) one could infer that every man was an animal.