Medan han tänkte på detta sätt,