boundaries of smooth manifolds obtained by attaching handles, boundary of the E_8 manifold, handle cancellation theorem