Updates from RY:
 . Cleaned up notation
 . Cleaned up defintions
 . Cleaned up theorems
 . Cleaned up process description.
 . Added tikz for mod 10

There is still work to be done .. in determining what images will stay
and which will go.