The whole project kind of died with Gödel.