Zaslat SMS: On Galois correspondences in formal logic