diff --git a/examples/ACT-R to nuXmv/learnModel.smv b/Verification/ACT-R/learnModel.smv
similarity index 100%
rename from examples/ACT-R to nuXmv/learnModel.smv
rename to Verification/ACT-R/learnModel.smv
diff --git a/Verification/Debugger_with_Macro_Edited_v5.smv b/Verification/Soar/Debugger_with_Macro_Edited_v5.smv
similarity index 100%
rename from Verification/Debugger_with_Macro_Edited_v5.smv
rename to Verification/Soar/Debugger_with_Macro_Edited_v5.smv
diff --git a/Verification/LearningofThreeSensors_IASAgent.smv b/Verification/Soar/LearningofThreeSensors_IASAgent.smv
similarity index 100%
rename from Verification/LearningofThreeSensors_IASAgent.smv
rename to Verification/Soar/LearningofThreeSensors_IASAgent.smv
diff --git a/examples/counter/counter.lisp b/examples/counter/counter.lisp
new file mode 100644
index 0000000..32b22a9
--- /dev/null
+++ b/examples/counter/counter.lisp
@@ -0,0 +1,66 @@
+(clear-all)
+
+(define-model count
+
+(sgp :esc t :lf .05 :trace-detail high)
+
+
+(chunk-type number number next)
+(chunk-type count-from start end count)
+
+(add-dm
+ (one ISA number number one next two)
+ (two ISA number number two next three)
+ (three ISA number number three next four)
+ (four ISA number number four next five)
+ (five ISA number number five)
+ (first-goal ISA count-from start two end four))
+
+(goal-focus first-goal)
+
+(p start
+   =goal>
+      ISA         count-from
+      start       =num1
+      count       nil
+ ==>
+   =goal>
+      ISA         count-from
+      count       =num1
+   +retrieval>
+      ISA         number
+      number      =num1
+   )
+
+(p increment
+   =goal>
+      ISA         count-from
+      count       =num1
+    - end         =num1
+   =retrieval>
+      ISA         number
+      number      =num1
+      next        =num2
+ ==>
+   =goal>
+      ISA         count-from
+      count       =num2
+   +retrieval>
+      ISA         number
+      number      =num2
+   !output!       (=num1)
+   )
+
+(p stop
+   =goal>
+      ISA         count-from
+      count       =num
+      end         =num
+   =retrieval>
+      ISA         number
+      number      =num
+ ==>
+   -goal>
+   !output!       (=num)
+   )
+)
diff --git a/examples/ACT-R to nuXmv/Counter.smv b/examples/counter/counter.smv
similarity index 100%
rename from examples/ACT-R to nuXmv/Counter.smv
rename to examples/counter/counter.smv