Proposition converse (n.f.)