a paper punch can be used for putting holes into paper