If a proposition follows from another, then the latter says more than the former, the former less than the latter.
« 5.1363 5.141 »