It is probably best if we stick to Doug Lenat and postpone the meta to a more neutral occasion: Doug Lenat has just died.