Saul Kripke: Puzzles and Mysteries