General: What Was Used To Erase Lead Pencil Marks Before Rubber Came Into Use