If is derivable from, but not from, then the consequence class of must be a proper sub set of the consequence class of p; and then possesses the larger consequence class, and thereby the greater logical content (or logical force.