They need to prove beyond doubt the race director was wrong...
48.12 If the clerk of the course considers it safe to do so, and the message "LAPPED CARS MAY NOW OVERTAKE" has been sent to all Competitors via the official messaging system,
any cars that have been lapped by the leader will be required to pass the cars on the lead lap and the safety car.
That's all cars that have been lapped not just the four between the leader and second.
Also, these cars should make their way around and join the back of the pack.
There is absolutely no doubt whatsoever Masi was wrong and did not follow the letter of the law.
There are only two messages he can send.
All lapped cars can overtake or No lapped cars will be allowed to overtake.
It's as if the Ref in a football match opts to give a player already on a yellow card, half a yellow instead of a full one to prevent him being sent off.
I think I would have actually preferred it if Verstappen had smashed Hamilton off at turn one. It would have been racing to type and we've seen that all before. We would have screamed at the TV and the gone "oh well, Hamilton will get him next year"
But this joke, total bollocks.