"So the servants of king Hezekiah came to Isaiah."