"a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so."