Theorem T000088

⇒ ¬

The converse ( ¬ ) does not hold, as witnessed by these counterexamples:

Id Name
S18
,
S39
S40
S41
S56
S113
S114
S116
S119
S120
S140