Detta är ett ganska egendomligt resultat,