is a counterexample to the converse of 5 theorems
Id If Then
28 ( ∧ ∧ )
45 ( ∧ )
73 ( ∧ )
114
115