Det utföll nemligen så: