I see...we need Universal Algebra because Abstract Algebra isn't abstract enough.