... paper, as he is apt to do. The best method of trimming these leads, as also lead pencils after they have been roughly shaped, is with a small fine file, holding the file still and moving the pencil; or a good piece of emery paper or sand paper is good, ... — Mechanical Drawing Self-Taught • Joshua Rose
...
