What must be, by its very nature, cannot be anything other than that which it explicitly asserts to be.
In other words, What Must Be TRUE can never be NOT TRUE (i.e. FALSE), because the very assertion that it Must Be TRUE, excludes any explicit or implicit deduction to the contrary that it is not that which it asserts to be.
(Source: maybe Aristotle, or some other Philosopher... not sure)
Any thoughts on the statement above? What do you think it means?