  Unfortunately, this principle (which is not endorsed by  Aristotle[10])  conflicts with the idea that there may be empty or universal terms. For in the universal case it leads directly from the truth: