is a counterexample to the converse of 3 theorems
Id If Then
119
308 ( ∧ ∧ ) ¬
430