1 problem

Expressivity hierarchy conjecture. For all $n\in\mathbb{N}$, $\mathcal{L}_{\Rrightarrow^{n+1}}$ is more expressive than $\mathcal{L}_{\Rrightarrow^n}$.