Det senare är väl det sannolikaste,