Kleene, Stephen Cole