 and the differences
&gt; | which accompany them.  Such differences we habitually
&gt; | disregard in the logical division of substances.

Agreed, logical formalization is a continuing process, involving
careful differentiation and axioms to well define exactly what is being
stated. We're humans, and not machines.  Again, I think there is a
confusing on words here. 'term' is typically a syntax word, and
the discrimination discussed is semantic discrimination.

Isn't the point of modules being discussed prev