In Memoriam: Robert E. Mort