Correct behavior should normally come before optimization.