Before revision: Stephen Cole Kleene and U.
After revision: Stephen Cole Kleene and