   If (16) is true, so is (17). Secondly, the law of existential generalization applies to either (16) or (17) to yield ‘∃x(x shines).’ Not so with intensionality. As illustrated by examples (3) and (4) repeated here, the truth of (3) does not always entail the truth of (4):