Douglas Lenat - Meta Reasoning for Efficiency (via searchlore.ai)