Medan han funderade på detta sätt,