A hole punch is used to punch holes in paper.