Signals that this orthogonalisation policy is exact if both of the underlying implementations Impl1 and Impl2 are exact.