Syntactic Monoid — Glossary — ThinkLLM