 However, if we expect an adequate semantics to account for the difference in cognitive value of (5) and (6) (Lois accepts (5) but not (6)), we must recognize a semantic difference in the contribution of the two names.