In Memoriam: Irvin Williams