In Memoriam: Pat Derby