  We use topological quantum field theory to derive an invariant of a
three-manifold with boundary. We then show how to use this invariant as an
obstruction to embedding one three-manifold in another.
