PUNCHEON, is also a common name for all those iron instruments used by stone-cutters, sculptors, blacksmiths, &c. for the cutting, incising, or piercing their several matters.
Those of sculptors and statuary serve for the repairing of statues when taken out of the moulds. The locksmiths use the greatest variety of puncheons; some for piercing hot, others for piercing cold; some flat, some square, some round, others oval, each to pierce holes of its respective figure in the several parts of locks.