Whether or not computations are provably correct by defaultΒΆ