Invariant

Please take a look
Gee, these tests got lost in the editing.  Just add them back.  Thanks for catching it.