And then, just as Leibniz said, when we’re asked if some statement S about the earth have been correct, we’d established the computation FProvable(S) in movement, and the computation would eventually return True-provided that S is provable as.