Trophies awarded to Kripke