transversality conditions