is a counterexample to the converse of 3 theorems
Id If Then
230 ( ∧ )
269 ( ∧ ∧ )
393 ( ∧ )