diff --git a/Notes on Papers/Formal requirements elicitation with FRET.md b/Notes on Papers/Formal requirements elicitation with FRET.md
index 2e8e2c945..d9e64ba5c 100644
--- a/Notes on Papers/Formal requirements elicitation with FRET.md	
+++ b/Notes on Papers/Formal requirements elicitation with FRET.md	
@@ -3,12 +3,19 @@
 This is a weird one. This paper is essentially just a 'state-of-the-FRET' paper
 
 **Context:** 
-FRET comes from NASA and is 
+FRET comes from NASA and is a tool to line up requirements in a temporal
+language.
 
 **Correctness:** 
+Formal. But they don't really go into details.
+
 **Contributions:** 
+Really I don't think they contribute much here than an explanation of what's
+going on.
+
 **Clarity:** 
 
+
 # Second Pass
 **What is the main thrust?**