102_conway: ok, added some useful invariants.  Making progress, although I had to use a few assume statements in various places.