Fredholm Backstepping — Glossary — ThinkLLM