3 ms·

I believe it's also called negative introspection. I think that's what epistemic modal logic calls it, anyway.