There is also a rich overlap between deduction and mathematical induction. Oftentimes deduction is used to reach a manageable solution space in which inductive reasoning can occur. Consider designing a drug to target a particular active site. The structure-to-affinity and structure-toselectivity mappings are typical mathematical induction problems with potentially infinitely many structures mapping to successful solutions. To limit the scope of the search, deductive constraints are often used (albeit not typically referred to as such), such as requiring that the drug be water soluble, stable in acidic environments, lack certain toxic substructures, etc. As described later in section 3, we also hypothesize that more profound connections between deduction and viii induction occur, with deduction being an emergent property of combining inductive models within decision-making networks.