Extended introducion

1 files changed, 4 insertions, 5 deletions

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