I'm trying to prove that mathematics forms a meta-abelian group, which would finally confirm my suspicions that algebreic geometry and geometric algebra are the same thing.