 2) At the beginning, Averroes complained that some commentators considered Book VII superfluous, and in LC 312C TC9 (LC Schmieja 20:15–18), he refers to Themistius as the main one The final arguments of Phys. VII.1 establish the impossibility of an endless succession of movables and movers and, by reductio ad absurdum, the necessity of a first mover, and I may give following version of Isḥāq’s passage 243a3–4 (textus alter): 