Så återstod blott den själfklara konsekvensen: