I think you missed the point - for masses the correctness matters less than average usability and efficiency of getting results that are good enough most of the time.