De hade möjligen resonerat så: