transversality

not defined yet