properties translate into properties of belief (positive and negative introspection, their converses, conjunction, etc.). We then …

, negative introspection holds if and only if it holds for primitive propositions. In particular, it is sufficient to test … negative introspection on primitive propositions.<p> …