Det senare är dock sannolikast: