In Memoriam, John Haugeland, 1945-2010