a paper punch is used for putting holes into paper.