Function-preserving Transforms — Glossary — ThinkLLM