Text this: Vague Congruences and Quotient Lattice Implication Algebras