Talk:Barry Kripke/@comment-108.185.212.158-20130523230240

Is Barry KripKe named in honor of Saul KripKe? C