Text this: Congruences on lattices (with application to amalgamation)