Men i händelse det skulle hafva utfallit annorlunda,