Microchex questions

What are false negatives? Do they matter? How can you figure out a system’s false negatives?

µchex shows that by ignoring parts of a language we can write effective checkers considerably more easily. Give another example or two of a domain or problem where ignoring certain things (i.e., approximating) may lead to more efficient but still effective solution.