Efter sistnämnda antagande blir , omuträkningen