Text this: Congruence Classes in Universal Algebra