Text this: The Congruences of a Finite Lattice