Letter from Carolyn Tajnai to Doug Lenat