Sannolikt har deras tanke varit denna: