is a counterexample to the converse of 3 theorems
Id If Then
22 ( ∧ )
239 ( ∧ ∧ ∧ )
251