A paper punch is a office tool