Item
0.2.5.a
.
This must be false. In fact, this is the negation of the original implication.
in-context