 This way the control procedure and transformation functions work synergistically to achieve correctness, i.e., causality and admissibility preservation.In their approach, there is no need to satisfy transformation properties such as TP2 because it does not require that the (inclusive) transformation functions work in all possible cases.There exist two underlying models in each OT system