Well, I think Barkley and I were the only two who were working with Church for a Ph.D.Stephen Cole Kleene
