Digging Further
The Galois Connection between Syntax and Semantics
https://www.logicmatters.net/2010/06/03/the-galois-connection-between-syntax-and-semantics/
Constraints Liberate, Liberties Constrain — Runar Bjarnason
https://www.youtube.com/watch?v=GqmsQeSzMdw