Sheldon vs. Kripke run