Manifolds with boundary