From a15a0040023eb4f8f2b9d9653789063b86ccbe62 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Wed, 24 Aug 2022 23:07:30 +0200
Subject: Extended introducion

---
 sections/examples.tex | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'sections/examples.tex')

diff --git a/sections/examples.tex b/sections/examples.tex
index 98a193b..fdb8c6a 100644
--- a/sections/examples.tex
+++ b/sections/examples.tex
@@ -160,11 +160,10 @@
 	is a Fraïssé class with WHP and CAP.
   \end{example}
 
-  The prove of this is relatively easy, knowing that there is essentially one
-  vector space of every finite dimension and that every linear independent subset
-  of a vector space can be extended to a basis of this space. The Fraïssé limit
-  of $\cV$ is the $\omega$-dimensional vector space. Thus, by our key Theorem
-  \ref{theorem:key-theorem} we know that it has a generic automorphism.
+  Vector spaces of the same dimension are isomorphic, thus it is obvious that
+  $\cV$ is essentially countable. Also $HP$ and $JEP$ are obvious, as we can
+  always embed space with smaller dimension into the bigger one. Amalgamation
+  works exactly the same. In fact, such amalgamation is indeed canonical.
 
   \begin{example}
 	The class of all finite graphs $\cG$ is a Fraïssé class with WHP and free
-- 
cgit v1.2.3

