todo transversal manifold