Fix Abstract Algebra is Refactoring