# Prevailing Argument * A [System](System.md) is some set of components following some set of [Rules](Rules.md). Systems can be *abstract* or *physical*. * A [Simulation](Simulation.md) is a physical system that is trying to render another system (which can be abstract or physical). * In order to instantiate a set of rules in a physical system (required for a [Simulation](Simulation.md)), the rules must be [Encoded](Encoding.md) in the physical system. A good encoding creates an isomorphism between the instantiated rules and the target rules. It provides an *explanation* for how an abstract system was instantiated in a physical substrate. * In order to get a meaningful representation out of the system, we must utilize a [Decoding](Decoding.md) * There are infinitely many ways we could *possibly* decode, but only some of these yield meaningful [Interpretations](Interpretation.md). * An interpretation is simply an [Explanation](Explanations.md) that we conjecture. We must only treat as real the interpretations that are part of our best explanations. See "Moravec's Mistake - Prevailing Argument" in notability for visual examples For even more context and detail see: [The Prevailing Argument](*Draft%201%20-%20Moravec's%20Mistake*.md#The%20Prevailing%20Argument) Note: You only need to construct your prevailing argument to the point that it suffices to match the core argument of HM. You don't need to build it out overly excessively.