@michelet I mean we're talking Caputo's on Court St, not Kripke semantics. He could have just explained.