14. Which statement best describes the central reasoning in Test Selection, Counterexamples & Decision Logic?