Oh, no!
The only two competitors remaining are seven and eight (Greg and Hiro) --
and they've already met! This simply Will Not Do.
We have come to one of those interesting twists in The
Pairing Rule, called back forcing. We will use back forcing to solve
this problem.