In Memoriam: John W. Hughes