diff --git a/lectures/lecture-05/Agreement.gf b/lectures/lecture-05/Agreement.gf
index 5baec8c..3538986 100644
--- a/lectures/lecture-05/Agreement.gf
+++ b/lectures/lecture-05/Agreement.gf
@@ -7,7 +7,14 @@ abstract Agreement = {
         A ;
         Det ;
     fun
-        PredVPS : CN -> V -> S ;    -- the black cats run
-        DetCN : Det -> CN ;         -- the black cat
-        AdjCN : N -> A -> CN ;      -- black cats
+        PredVPS : CN -> V -> S ;    -- the black cat runs
+        DetCN : Det -> N -> CN ;    -- the black cat
+        AdjCN : A -> N -> CN ;      -- black cat
+        UseN : N -> CN ;            -- cat
+
+        cat_N : N ;
+        black_A : A ;
+        run_V : V ;
+        the_Sg : Det ;
+        the_Pl : Det ;
 }
\ No newline at end of file