# Reach and Constraints A system that exhibits [Reach](Reach.md) naturally implies [Constraints](Constraints.md). This shows up nearly everywhere one looks. Let's take [Logic](Logic.md) as a starting example. A logical system, once you have defined it's assumptions and rules of inference, has effectively *proved* all it can prove. It is a *deterministic fact* of the system, and one that is out of your control. Consider a set of axioms and rules of inference. These define a system that *reaches* outward. Certain statements that may be many steps (effectively [Computations](Computation.md)) away are instantly *implied* by the system. Thus, based on the formal system of arithmetic, whether or not the number 92346124661 is prime or not is current *implied* by the system. It is a [Truth](Truth.md) claim that exists independently of whether or not any human has actually found a [Proof](Proof.md) of it. This is related to [5 - Reality of Abstractions](5%20-%20Reality%20of%20Abstractions.md). The reach of [Explanations](Explanations.md) has the same property. Once you have created an explanation, it's reach is beyond your control. [Explanations Imply Consequences](Explanations%20Imply%20Consequences.md). What makes up this interesting connection? It is that both logic and explanations are really, in a genuine sense, *constraints* (hence why a good explanation is very constrained and hard to vary). Constraints don't have a prespecified sphere of influence. This is also related to [Natural Selection is a Constraint](Natural%20Selection%20is%20a%20Constraint.md) and [Constructor Theory](Constructor%20Theory.md). This may also be linked to: * [Problems Create a Logic of Reasoning](Problems%20Create%20a%20Logic%20of%20Reasoning.md) --- Date: 20241224 Links to: Tags: References: * []()