A semantics that ties meaning to verification conditions therefore misrepresents the epistemic struc...