Initial Commit Algebra