a paper punch is for makng holes in paper