Church A.,Kleene S.C. ...