Talk:Kripke

This disambiguation page should probably also provide a link to http://en.wikipedia.org/wiki/Eric_Kripke - I've never edited a disambiguation page so I'm unsure about the conventions. 64.81.240.233 (talk) 01:33, 17 January 2009 (UTC)