"Here comes Kripke."