diff --git a/class_27_19102023/summary.txt b/class_27_19102023/summary.txt
new file mode 100644
index 0000000..fe651b5
--- /dev/null
+++ b/class_27_19102023/summary.txt
@@ -0,0 +1,8 @@
+Applications of CT
+
+-- class of structures which has finitely many elements is not
+definable in FO with equality.
+
+-- class of graphs G=(V,E,a,b) where there is a path from a to b is
+not definable in FO with signature <{a,b},{},{R(,)}> 
+