--- 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