I should add that the way Denis was playing, he wasn't going to win today. He was just swinging for the fences on every shot and just looked disinterested after losing the opening set in a tie-break.
Edit: Tom Tebbutt with further details
https://twitter.com/user/status/1912154715745374351