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