diff --git a/totally-pseudocode.txt b/totally-pseudocode.txt
index 4a7a45b..09641df 100644
--- a/totally-pseudocode.txt
+++ b/totally-pseudocode.txt
@@ -1,5 +1,10 @@
 Shared Variables: freelist, list-1, list-2: block
 
+Semaphores: sem_freelist = N, mut_freelist = 1,
+            sem_freelist_minus_1 = N-1,
+            sem_list1 = 0,    mut_list1 = 1,
+            sem_list2 = 0,    mut_list2 = 1;
+
 Thread-1:
 var b: pointer to type block;
 while (true)