diff --git a/glossary.tex b/glossary.tex
index 2fc9e9b..ac50df4 100644
--- a/glossary.tex
+++ b/glossary.tex
@@ -1,13 +1,15 @@
-\newabbreviation{scp}{SCPM}{Separationist Constructive Proof Morphology}
+\newabbreviation{wt}{WT}{changeme}
+\newabbreviation{dso}{DSO}{data structure oriented}
+\newabbreviation{cp}{LP}{Lexical Proof Morphology}
+\newabbreviation{stc}{STC}{Separationist Taxonomy-Based Constructive Proof Morphology}
 \newabbreviation{gpsg}{GPSG}{Generalized Phrase Structure Grammar}
-\newabbreviation{wp}{WP}{Word and Paradigm}
+\newabbreviation{wp}{WP}{Word and Paradigm Morphology}
 \newabbreviation{cg}{CG}{categorial grammar}
 \newabbreviation{ccg}{CCG}{Combinatory Categorial Grammar}
 \newabbreviation{lcg}{LCG}{Linear Categorial Grammar}
-\newabbreviation{coc}{CC}{Calculus of Inductive Constructions}
+\newabbreviation{coc}{CiC}{Calculus of Inductive Constructions}
 \newabbreviation{hol}{HOL}{Higher Order Logic}
-\newabbreviation{stc}{FFM}{Form First Morphology}
-\newabbreviation{ibm}{IBM}{Information-Based Morphology}
+\newabbreviation{ibm}{IbM}{Information-Based Morphology}
 \newabbreviation{pfm}{PFM}{Paradigm Function Morphology}
 \newabbreviation{plt}{PLT}{Paradigm Linking Theory}
 \newabbreviation{ia}{IA}{Item and Arrangement}