diff --git a/README.md b/README.md
index 35dec3b..a0ede4e 100644
--- a/README.md
+++ b/README.md
@@ -20,17 +20,18 @@ signed main(){
 	return i;
 }
 ```
-It, in broad sense, is what PL/SQL is for Ada, for C/C++.
+It, in a broad sense, is what PL/SQL is for Ada, but for C/C++.
 
 With an extra step of preprocessing,
 the above is turned into conventional C,
 that any compiler will be able to deal with.
+Which is quite similar to how Flex and Bison work.
 
 ## Why?
 Embeded SQL provides the following benefits:
 + better syntax highlighting compatibility
 + compile time SQL syntax checks
-+ more agile database <-> language type conversions
++ more agile type conversions between the database and C
 
 ## Who is responsible for this?
 IBM is.
@@ -40,7 +41,7 @@ which edition,
 but I believe it originates from the 80s.
 
 In 1998,
-Michael Meskes started Postgresqls on going embeded SQL support
+Michael Meskes started Postgresql's on going embeded SQL support
 with the following comment:
 
 > Well this is not really a patch.
@@ -60,3 +61,6 @@ for non-enterprise purposes of rather poor taste.
 This is why this project sets out to
 start supporting SQLite/embeded SQL and
 to create a system where adding arbitrary databases is easy
+
+## Tell me the details
+The exact specification can be found at [documentation/spec.md](documentation/spec.md).