Slowly editing; up to 2.6 now.

I think the proof of 2.6 should be good now...