So you're saying maximum priority is correctness, and performance second place? Because if you don't have correctness you can't "start with correct code"