Void() is slightly more elegant than Mark().
Merge branch 'master' of github.com:PhoenixBureau/TheGeneralProgram
Misc. notes and stuff.  void.py