Equality_of_Ordered_Pairs