Item
0.2.19.b
.
\(\forall x \forall y (x \lt y \imp \exists z (x \lt z \lt y))\text{.}\)
in-context