Coalgebraic Fixed Point — Glossary — ThinkLLM