Make the "not" operation transitions more explanatory.  Flesh out some more