I think the only impact in practice was performance, but it could easily have been correctness as well