I think they're done for the day.
Trump has a big lead 12-5.
Higgins lead 5-4 at one point, right?
They have broken the record for centuries this year at the Crucible...
...old record-86....they’ve had 96 so far
Higgins played well enough to beat most players, but Trump played well enough to lose to no one.