Stein, Jock, 1922-1985.