Gocommutative Hopf Algebras