`` arches , '' said tor the king , `` are when pillars of stone throw out branches like trees and knit their branches together and bear up a great dome as of leafage , but the leaves shall be shaped stones .