Title: Interactive Algebra Foundations