diff --git a/reasoning/sequents/README b/reasoning/sequents/README
index 5984207aa..e9e6e6ec0 100644
--- a/reasoning/sequents/README
+++ b/reasoning/sequents/README
@@ -4,7 +4,7 @@ Sequents
 
 See https://en.wikipedia.org/wiki/Sequent
 
-E.g.
+A sequent is a log:implies with a set of possible conclusions e.g.
 
 # all cars are green or blue
 {