The Theory

2.2.17.1 Specific question

What exactly does the module intend to explain?

2.2.17.2 Definitions

All necessary technical terms.

2.2.17.3 Current state of science

What has empirical support?

What remains controversial?

What competing models exist?

2.2.17.4 Model assumptions

What needs to be assumed for the formalization to be constructed?

2.2.17.5 Hypothesis or hypotheses

Which propositions will be examined?

2.2.17.6 Variables and symbols

Each variable must have a single, stable meaning.

2.2.17.7 Mathematical formalization

Representation of the proposed relationships.

2.2.17.8 Derivations

What follows logically from the formalization?

2.2.17.9 Examples

Applications intended to make the model understandable.

2.2.17.10 Counterexamples and adversarial tests

Explicit attempts to find situations that contradict the model or expose ambiguities in it.

2.2.17.11 Testability

What observations would be compatible with the model?

What observations could contradict it?

2.2.17.12 Limitations

What conclusions does the module not allow?

2.2.17.13 Exportable result

Which definitions, variables, equations, and conclusions become available to the next module?