In Proposition 17 the catch slides en masse towards the prosaic end of the boat. If we allow ourselves this simplification we can gain entry into Proclus' argument. Recursion, unlike reversion, has technical definitions. Mathematical, computational and biological examples of recursion exist. So a study of recursion would inform the critique.
Recursion has an additional advantage in being an ancient concept.
So its properties have been known for a long time. Those properties would be germane to Proclus' argument, where they could be shown to free powers in the body more causative than mere self-motion. And so these are the powers to target with a selective history of recursive systems, which follows. See Siorvanes 136-37. Or they would, if Proclus had numbered his propositions more to this critic's liking.