Whether or not computations are provably correct by default#