Mercedes' protest is based on two regulations: Article 48.12 and Article 48.8 of the F1 Sporting Regulations.
Article 48.12 deals with the situation of having backmarkers unlap themselves.
Initially, Masi had been within his rights to state that 'Lapped Cars will not be allowed to overtake' - which meant Verstappen would be trapped behind five backmarkers before he could get a run on Hamilton.
However, on the penultimate lap, on the run down to Turn 9, Masi sent a message saying that five cars –
Lando Norris,
Fernando Alonso,
Esteban Ocon,
Charles Leclerc and
Sebastian Vettel could unlap themselves.
The decision to only allow some lapped cars to unlap themselves is unusual as Article 48.12 suggests that the message 'LAPPED CARS MAY NOW OVERTAKE' should be sent to all competitors.
The regulation is then explicit about when the race can be restarted.
It states: "Unless the clerk of the course considers the presence of the safety car is still necessary,
once the last lapped car has passed the leader the safety car will return to the pits at the end of the following lap.
"If the clerk of the course considers track conditions are unsuitable for overtaking the message "OVERTAKING WILL NOT BE PERMITTED" will be sent to all Competitors via the official messaging system "
This clause suggests that with the lapped car message having come out on lap 57,
then the restart could only come at the end of the 'following lap'- so lap 58, which was the end of the race.
Article 48.8 relates to there being no overtaking behind the safety car.
During the restart phase, as Hamilton and Verstappen prepared to begin racing again, it appeared from the onboard that the Red Bull had briefly nudged ahead of the Mercedes.
The rule states that "no driver may overtake another car on the track, including the safety car, until he passes the Line (see Article 5.3 – which is the safety car line) for the first time after the safety car has returned to the pits."