is a counterexample to the converse of 5 theorems
Id If Then
24 ( ∧ )
78
122
270
271