Function-Preserving Expansion — Glossary — ThinkLLM