update README

diff --git a/README.md b/README.md
index c73b1f17caa030bcadb61ddc6ea50c99156e62e9..2c4895dea223dcd3201e20d62524b4a9f4ce9035 100644 (file)
--- a/README.md
+++ b/README.md
@@ -36,9 +36,12 @@ Extend rusty-wam to include the following, among other features:
   
 ## Phase 3
 
-Use the WAM code generated by the completed code generator to target LLVM
+Use the WAM code produced by the completed code generator to target LLVM
 IR to get JIT-compiled and -executed Prolog programs.
 
+It's my hope to use rusty-wam as the logic engine of a low level (and
+ideally, very fast) Shen implementation.
+
 ## Tutorial
 To enter a multi-clause predicate, the brackets ":{" and "}:" are used
 as delimiters. They must be contained entirely within their own lines.