Det sistnämnda synes vara troligast,