3 ms·Not just that, less code (and simple code) = much easier to prove that the code is correct.by MertsA 8y agoNot just that, less code (and simple code) = much easier to prove that the code is correct.