What ordered pair satisfies