There will be sighs of relief from many across the Formula One paddock as the sport heads into the summer break. A respite, then, from a season that has swiftly become an absolute rout for Max Verstappen.
With his win here, the world champion, it seems, is barely even considering the opposition now but rather almost toying with it for amusement.