It looks like your message might be a bit garbled — could you clarify what you're asking about? A few possibilities: 1. **"Local truth" in logic/topos theory** — In Kripke–Joyal semantics and sheaf t