diff --git a/Algo/CM/CM du 04 octobre.md b/Algo/CM/CM du 04 octobre.md
index b3f19bf..8145e01 100644
--- a/Algo/CM/CM du 04 octobre.md	
+++ b/Algo/CM/CM du 04 octobre.md	
@@ -18,4 +18,14 @@ Axioms
 ```
 In this example, the axiom explain that it check nth position in the modified vector
 
-The axiom can't be contradictory. Two (or more) contradictory axioms are call the consistency. When we create the axiom, we have to remove all the consistency. 
\ No newline at end of file
+The axiom can't be contradictory. Two (or more) contradictory axioms are call the consistency. When we create the axiom, we have to remove all the consistency. 
+Example: 
+```
+nth(v,1)=0
+nth(v,i)=i
+```
+That an consistency, because the two `nth`axioms are contradictory
+
+The completeness is when we have enough axioms for our abstract type
+
+To use partial operations we have to create some preconditions