Det var det sistnämnda,