14.5.1. Contra positive and Converse