An alternate proof of Wise's Malnormal Special Quotient Theorem

We give an alternate proof of Wise’s Malnormal Special Quotient Theorem (MSQT), avoiding cubical small cancellation theory. We also show how to deduce Wise’s Quasiconvex Hierarchy Theorem from the MSQT and theorems of Hsu–Wise and Haglund–Wise.