FA: Foundations in Algebra