Text this: Compact manifolds with computable boundaries