Kleene S.C. ...