More fundamentally, any problem that requires external information for a solution is within the province of deductive reasoning. This includes most of the debugging, equipment troubleshooting, and out-of-distribution interpretation that is second nature to domain experts. In contrast, if sufficient information is available from the problem to uniquely determine a solution, deduction is not necessarily required. For example, a molecular geometry (x) possesses sufficient information to uniquely determine the electron density about a molecule (y). If given x one can uniquely predict y, then we are again seeking a solution to the mathematical induction problem.