Det förra synes dock wara troligare: