Det andra alternativet skulle vi antaga,