diff --git a/icfp-2016/paper.scrbl b/icfp-2016/paper.scrbl
index 76a2f56..be7d53c 100644
--- a/icfp-2016/paper.scrbl
+++ b/icfp-2016/paper.scrbl
@@ -7,21 +7,22 @@
             ""]
 
 @title{Functional Pearl: Do you see what I see?}
-@subtitle{Improving a simple type system with dependent macros}
+@; @subtitle{Improving a simple type system with dependent macros}
 @; should say "value-dependent"?
 @; TODO subtitle doesn't appear in the right place
 
 @abstract{
-  A simple type system with macros is nearly as good as a dependent type
-   system, at least for some common programming tasks.
-  By analyzing program syntax and propogating constants
-   before type-checking, we can express many of the practical
-   motivations for dependent types without any programmer annotations
-   or extensions to the underlying type system.
+  TBA @; Be Positive, not negative
+  @;A simple type system with macros is nearly as good as a dependent type
+  @; system, at least for some common programming tasks.
+  @;By analyzing program syntax and propogating constants
+  @; before type-checking, we can express many of the practical
+  @; motivations for dependent types without any programmer annotations
+  @; or extensions to the underlying type system.
 
-  Our syntax-dependent subtypes are not proving theorems,
-   but they detect certain run-time errors at compile-time and
-   cooperate with type inference.
+  @;Our syntax-dependent subtypes are not proving theorems,
+  @; but they detect certain run-time errors at compile-time and
+  @; cooperate with type inference.
 }
 
 @;@category["D.3.3" "Programming Languages" "Language Constructs and Features"]