Paul L. Butt (1930-2009)