punch: a tool for making holes or indentations
tool: an implement used in the practice of a vocation
bernoulli's law: (statistics) law stating that a large number of items taken at random from a population will (on the average) have the population statistics