Correctness is more important than runtime costs.