³This semantics of three-valued logic corresponds to “Kleene’s strong logic of indeterminacy” (Kleene’s K₃^S).