De hade kommit till det resultat,