a paper punch is used for making holes in paper to insert in a binder.