Text this: On Galois correspondences in formal logic