Natural-language distillations of problem-solving strategies and lessons extracted from past solution attempts.