Det senare är dock troligt,