Prof. Emeritus John Trump, c. 1979.