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