Has David Birnbaum solved the mystery of existence?