Foot-operated punch; by W. G. Bradley and O. E. Berndt.