\mathbb L \supseteq \mathbb K