I'll describe a method of taking iterated quotients of ring spectra (or any E_n-monoid in a stable, presentable infinity category) by actions of E_n-monoidal Kan complexes and show (roughly) that in the presence of a fibration of E_n-monoidal Kan complexes one can take recognizable intermediate quotients. I will also explain how this relates to Hopf-Galois extensions, which are non-commutative geometric analogues of principal G-bundles, and Koszul duality.