Space S000119

is a counterexample to the converse of 5 theorems
Id If Then
T65 ∧
T88 ∧ ¬
T486 ∧ ∧ ∧
T541
T635