Item
0.2.9.f
.
Equivalent to the converse.
in-context