In order to maintain thoroughly hsi philosophical standpoint of Anti-realism, he rejected two-valued semantics and took Intuitionist logic as the basis of his metaphysics.
I did implicit versus explicit memory, recollection versus familiarity, semantics versus episodic memory, memory and short-term memory versus long-term memory.
And so there are examples where, because the language and all of its features were designed about what was possible to build into the VM, no one really ever thought about the static semantics of these language features.