"- Oh, that'll be Kripke. - What's he doing here?"