diff --git a/paper/abstract.tex b/paper/abstract.tex
index 30c1dd6d244073b71061ba341020daf9ed8f7480..6b549ccf9db76318fa4d104eabd501e21c2b011e 100644
--- a/paper/abstract.tex
+++ b/paper/abstract.tex
@@ -31,3 +31,4 @@ Finally, we define \emph{multiple} contract-based implementations by varying the
 structure of the dynamic types, giving a family of implementations that validate
 type-based optimization and the gradual guarantee.
 
+% AA: above "logical relation" comes out of the blue
\ No newline at end of file