Det sistnämnda är dock det troligaste,