At the king’s command, they quarried out great, costly stones in order to lay the foundation of the house with dressed stones.