I think it goes back to the mappers/packers mindset. Mappers tend to think of the world as a solvable map, given enough information. This obsession with correctness is simply a way to help correct someone's map.