Kleene S. C. ...