proved that ==> relations are deterministic