(1) Still working on connected algebraic groups. (2) I made a home for the lemma we discussed yesterday.