Slide containing only the Kripke-Joyal semantics