A hole punch is a tool that makes holes so paper can go in a ring binder. Use the hole punch.
The spacing is standardised, which is the only reason any binder works with any paper. A hole punch fills with little discs that go everywhere the moment it is opened.
1nounhole punchA tool that makes holes so paper can go in a ring binder.
“The hole punch had not been emptied since about 2011.”
hole punch is a tool.
Practised in Office & Admin