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