Before revision: Searle For Searle (b.
After revision: JohnSearle For Searle (b.