a paper punch is for making holes in paper