Sand, a series of whettings on stones, and, by way of finish, charcoal of magnolia, are used in polishing.