A paper punch is an office tool.