Wrote proof of K_1 generation buy binary automorphisms for a split exact category.