Non-simply connected Poincaré surgery

We give homotopy-theoretic proofs of the principal results of non-simply connected Poincaré surgery. These include the Fundamental Theorem of Poincaré surgery, the Poincaré transversality exact sequence, and the construction of Poincaré handle structures. All results apply in dimensions~$\ge 8$.