However, as I have said, in the case of the Sheffer stroke and its dual, not all paths terminate, while with disjunction and negation (or its dual, conjunction and negation), all paths do terminate, but the result is not trivial.