d:r J H . R . Lenat-der.