If this view were true, then, though entails would not be identical in meaning with, yet it would follow from it; since, if were true, then every particular assertion of the form would not only be true, but would be an instance of a true formal implication (namely and this, according to the proposed definition, is all that entails asserts.