Examples manifolds_with_boundary doubled_manifolds closed_manifolds non_orientable_manifolds disjoint_manifolds noisy_manifolds real_world_examples