4 ms·The absence of a proof of correctness is not a proof of incorrectness, strictly speaking.by suremarc 4y agoThe absence of a proof of correctness is not a proof of incorrectness, strictly speaking.