Hole Puncher: Gadget used to create holes in paper for very easy insertion right into binders or folders
https://www.scribd.com/document/704117006/Corning-Glass-Pioneering-Innovations-in-Glass-Technology-139748
Opening Puncher: Device made use of to produce openings in paper for easy insertion into binders or folders