"Stones, such as agates, which are found on the sea beach, or any stone which is required to be polished, is to be first ground down to a rough surface, then polished by successive rubbings of first, second, and third grit-stones of different degrees of fineness, lastly"