Ett sådant resultat vore,