Before revision: The results of Kurt Goedel and Alfred Tarski undermined the logicist project.
After revision: The results of Kurt Gödel and Alfred Tarski undermined the logicist project.