"so he went to Kripke for you."