Art of stone cutting to form elements of complex vaulted structure.
—A History of Interior Design, by John Pile, 2000.