1. Introduction 2. Preliminaries 3. Dominances 4. AWFS from Moore structure 5. The Frobenius construction 6. Mould squares and effective Kan fibrations 7. Pi-types 8. Effective trivial Kan fibrations in simplicial sets 9. Simplicial sets as a Moore category 10. Hyperdeformation retracts in simplicial sets 11. Mould squares in simplicial sets 12. Horn squares 13. Conclusion