Ett helt annat resultat skulle vunnits,