Git Algebra