Ofc you're correct in that sense. I would add that (related to your "maintainability" point) ensuring the code is as simple as possible, and thus much more lik

Ofc you're correct in that sense. I would add that (related to your "maintainability" point) ensuring the code is as simple as possible, and thus much more likely to be "debuggable by review", is a goal of review. Even that won't prevent bugs in the absolute sense, as you rightly say, but it boosts your probabilities.