# HG changeset patch
# User Chengsong
# Date 1578782831 0
# Node ID 9c3c118896bbfa81f086d5756fa9ad28e321f58c
# Parent  4a327e70d5382bf136fc8065ee95f4a7dcf38404
h

diff -r 4a327e70d538 -r 9c3c118896bb etnms/etnms.tex
--- a/etnms/etnms.tex	Sat Jan 11 22:17:27 2020 +0000
+++ b/etnms/etnms.tex	Sat Jan 11 22:47:11 2020 +0000
@@ -366,7 +366,11 @@
 does not matter when we try to apply $\bmkeps$ or $\retrieve$
 to it.\\
 If we look into the difference above, we could see why:
-
+during the first derivative operation, 
+$\rup\backslash a=(_0\ONE  + \ZERO)(_0a  +  _1a^*)$ gets into a sequence
+with the first part being nullable, but not the second part.
+and we can use this to construct a set of examples based 
+on this type of behaviour of two operations.
 that is to say, despite the bits are being moved around on the regular expression
 (difference in bits), the structure of the (unannotated)regular expression
 after one simplification is exactly the same after the