diff --git a/README.md b/README.md
index 985be6c..a87b091 100644
--- a/README.md
+++ b/README.md
@@ -1,10 +1,7 @@
 # agda-popl17
 
 This repository contains the mechanization of Hazelnut and the associated
-metatheory as submitted to POPL 2017 for artifact evaluation. This artifact
-passed evaluation with high marks. The
-[reviews](https://github.com/hazelgrove/hazelnut-popl17/blob/master/hazelnut-popl17-aec-reviews.txt)
-from the AEC can be found on the repo for the paper text.
+metatheory as submitted to POPL 2017 for artifact evaluation.
 
 The branch `sums` is the mechanization of the core calculus extended with
 sum types as described in Section 4 of the paper. It's a conservative