regarding the remaining rank-unbounded types (the "Classical Groups") and the way 2), -> regarding (locally) finite and p-soluble groups, and -> regarding Cauchy's and Galois' contributions to Sylow theory in finite groups. We much hope to enthuse group theorists with them. We include the predecessor research paper [15] as an Appendix."/>