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