Lyckligtvis valdes det förra alternativet;