trade correctness for performance