In other words, proofs of existence are measure zero in the space of evolution?