A dictionary of arts, manufactures, and mines. · Study