Create Derived_Pairs.v