transversality
not defined yet