Building Foundations for Algebra.