結果 : ordered pair rules