a paper punch is for making little round holes in paper