diff --git a/README.md b/README.md
index 1be0e47..ffb6651 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,11 @@
-# dyna3
+## Dyna3
 
-Constraint-based three-dimensional dynamic geometry
\ No newline at end of file
+##### Abstract
+
+Constraint-based three-dimensional dynamic geometry
+
+##### Description
+
+From a search of the web, there does not seem to be a dynamic geometry software package which (a) began its life handling three dimensions, rather than just two, and (b) allows you to express the desired geometric configuration in terms of constraints on the entities (e.g. l and k are parallel, a, b, and c a collinear, etc.) rather than as a construction (e.g. l is the perpendicular bisector of a and b). The goal of Dyna3 is to close this gap.
+
+The first step will be to make sure that the dynamic geometry in XCas is not already close enough to what's desired here.