Kripke and Sera