Sunday work party at Carol Kennedy's. Not a lot of work was ready to actually do.
Due to onrushing Minicon, these are mechanical proofs. I don't think I'm terribly likely to update them, either.