Not just that, less code (and simple code) = much easier to prove that the code is correct.

Please remove your question mark?