In regard to notation, it is important to note that not every feature of a symbol symbolizes. In two molecular functions which have the same T-F schema, what symbolizes must be the same. In “not-not-p”, “not-p” does not occur; for “not-not-p” is the same as “p”, & therefore, if “not-p” occurred in “not-not-p”, it would occur in “p”.