3. The background assumption behind deriving a functional mapping is that the inputs are sufficient to predict the outputs; but in deduction problems, external information is required to provide practical solutions to the problem. For example, the solution space can be narrowed using elementary deductive constraints like forcing a particular functional form, or requiring a parameter to be positive due to physical considerations. Examples of more profound constraints would be physical concepts like conservation of energy.