Blok-Esakia Theorems via Stable Canonical Rules | Synapse