Item
0.2.17.a
.
\(\forall x (E(x) \imp E(x +2))\text{.}\)
in-context