A punch is a tool.