diff --git a/Algo/Séminaire/Chapter 3 - Case analysis.md b/Algo/Séminaire/Chapter 3 - Case analysis.md
index c2ac486..b2f3ef1 100644
--- a/Algo/Séminaire/Chapter 3 - Case analysis.md	
+++ b/Algo/Séminaire/Chapter 3 - Case analysis.md	
@@ -166,4 +166,10 @@ val avg : int -> int -> int = <fun>
 # let and_p a b = match (a,b) with 
 	| (true, true) -> true
 	| _ -> false;;
-val and_p : bool -> bool -> bool = <fun>
\ No newline at end of file
+val and_p : bool -> bool -> bool = <fun>
+
+# let and_t = function 
+	| (true, true) -> true
+	| _ -> false
+val and_t -> bool * bool = <fun>
+```
\ No newline at end of file