While achieving absolute certainty in code correctness is often impossible