Aristotle's distinction between substantial and accidental predication in the Categories supports tr...