First-Order Oracle — Glossary — ThinkLLM