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