diff --git a/Algo/CM/CM du 04 octobre.md b/Algo/CM/CM du 04 octobre.md
index 4161656..49a7018 100644
--- a/Algo/CM/CM du 04 octobre.md	
+++ b/Algo/CM/CM du 04 octobre.md	
@@ -1,6 +1,6 @@
 An abstract type have a signature, which contains types, uses and operations, and have some axioms. 
 
-An axiom let us determine the value of the application of the observers with the internal operations (in the example below, the operation modify). An axiom must be precise. 
+An axiom let us determine the value of the application of the observers with the internal operations (in the example below, the operation modify). We can see that as a validation. An axiom must be precise. 
 
 ```
 Types