diff --git a/Algo/CM/CM du 04 octobre.md b/Algo/CM/CM du 04 octobre.md
index 3cde621..23d4f03 100644
--- a/Algo/CM/CM du 04 octobre.md	
+++ b/Algo/CM/CM du 04 octobre.md	
@@ -55,3 +55,9 @@ Axioms
 ```
 Here, `nth`is a partial operation and `isinit` is a auxiliary operation
 
+## Important things to create a abstract type
+- What we want to create
+- Add all necessary operations
+- Preconditions
+- Axios
+- 
\ No newline at end of file