Efter sistnämnda antagande blir,