Det senare är väl troligast.