"Hello, Kripke."