Now it is ob vious that an expression cannot occur essentially in a statement if it oc curs only within expressions which occur vacuously in the statement; consequently, occurring in as it does only within the, if at all, does not occur essentially in S'; members of a occur essentially in its stead.