I'd one further, and say the Martial one was VAR working perfectly. We know what the referee thought he saw (no contact, dive), and we know from video that was wrong. The fix I want from VAR (non-offside part) is to always easyhear what the on-field referee thought he saw as the starting point, and go from there. "Got the ball first" or "no contact, dive" are objective and verifiable. VAR can fix those easily. "Just a coming together" or "not enough contact to go down" are judgement calls, and should require a much higher burden of proof to overturn. Referees already wear microphone for communication. Referees already make signals (wave of the arms to say no foul, shake of the head, point to say got the ball in a close tackle). It can't be that difficult for the referee to tell VAR what he thinks he saw, and then "clear and obvious" becomes much more easy to apply, and much more transparent for the fans.