Det var dessa bägge sistnämnda,