It becomes an infinite recursion of "how do we know the proof of the proof of the..." is what we actually want?