Galois connections and modal algebras | Synapse