Item
0.2.16.b
.
\(\forall x (E(x) \imp O(x+1))\text{.}\)
in-context