In Memoriam: Joseph R. Shoenfield 1927–2000