Kripke's theory of truth