Performance is a goal. Correctness is a constraint.