Describir: BLOK–ESAKIA THEOREMS VIA STABLE CANONICAL RULES.