What does a Hole Punch do?

A hole punch presses down hard to poke neat round holes so your pages can slip into a binder!