From cf7ef872abccaeae89bc59a9287fc693775439dc Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 26 Jan 2016 14:44:48 +0100
Subject: [PATCH] update

---
 recap_al.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/recap_al.txt b/recap_al.txt
index 7553159..e05399c 100644
--- a/recap_al.txt
+++ b/recap_al.txt
@@ -29,6 +29,8 @@ HYPOTHESIS
 	up.
 - Completeness:
 	Drawing should be input complete, otherwise add rows with extensions
+	This means that a top part prefix plus suffix should be available in the
+	bottom part
 
 EQUIVALENCE QUERY
 Yes: successfully found model
@@ -39,6 +41,7 @@ HANDLE CE
 - extract suffix that disproves nerode
 	- there is a suffix that ends you up in the same state, the later part is
 	  the culprit.
+	- add prefix above line, add suffix in column
 - add to column(note that columns should be suffix closed)
 - fill in table
 - refine hypothesis
-- 
2.20.1