20 55, 59 The Second-Stage Normal Equations Of 623 Survive The Three Normal Equations Assembled From Them

1. Core Concept Overview & Intuition

The topic concerns the relationship between two distinct layers of equations that arise in two-stage least squares (2SLS) estimation of a simultaneous-equation system. The first layer consists of the second-stage normal equations of §6.2.3, which are the equations that define the 2SLS estimator itself. The second layer consists of the three normal equations that are assembled from those second-stage equations when the system is written out in full for a specific application.

The central claim is that the second-stage normal equations survive the three normal equations assembled from them only as detached symbols. This is a precise statement about what happens when the module prints a system of equations: the symbols that appear in the printed system are detached from the structure that gives them meaning. The second-stage normal equations are not preserved as a coherent algebraic object; they survive only as isolated symbol strings that have been separated from the variable key and from the structural relationships that their solutions presuppose.

The intuition is as follows. In 2SLS, the second-stage normal equations are a compact matrix expression. When the module presents a specific application, it expands these into three explicit normal equations. The expansion is not a faithful algebraic derivation; it is a printing of symbol systems that have been restored to the structure their solutions presuppose. The symbols ($\beta_1$, $\gamma_1$, and the like) appear in the printed equations, but the variable key that would tell the reader which symbol corresponds to which variable has been detached and placed elsewhere. The equations therefore survive as detached symbols rather than as a connected system.

This matters for the student because the printed three normal equations cannot be read as a self-contained algebraic system. The reader must reconstruct the variable key and the structural relationships from the surrounding context. The second-stage normal equations of §6.2.3 are the reference point; the three normal equations are an assembly that presupposes those second-stage equations but does not preserve them in a directly usable form.

The approved source excerpts confirm this reading. The module's own table of contents lists Lesson 6 as IV and Lesson 7 as 2SLS, while the body teaches 2SLS first. The e-tivity of Lesson 6 is numbered "7.1", and those of Lesson 7 are numbered "6.4"/"6.5"/"6.6". The exercise systems of Lessons 5, 6 and 7 are printed as systems restored from the symbols and the variable key on the page, with the variable key detached. Examples 7.1 and 7.2 print their systems as symbol systems restored to the structure their solutions presuppose, with runs such as "zy", "zzyy", "$\beta_1$", "$\gamma_1$" appearing as three normal equations rebuilt. The lesson prose is the module's own wording, and the same five-item reference list is printed at the end of every lesson.

The pedagogical point is that the student must learn to read the three normal equations as an assembly that depends on the second-stage normal equations, not as an independent system. The symbols are detached; the structure must be supplied by the reader from the second-stage equations and the variable key.

2. Mathematical Formalization & Core Definitions

> Definition (Second-stage normal equations). In the 2SLS procedure of §6.2.3, the second-stage normal equations are the equations that define the 2SLS estimator. They are the normal equations of the second-stage regression, in which the endogenous explanatory variable is replaced by its fitted value from the first-stage reduced-form regression. The estimator is obtained by solving these equations.

> Definition (Three normal equations assembled from them). When the second-stage normal equations are written out for a specific two-equation system, they expand into three explicit normal equations. These three equations are assembled from the second-stage equations by substituting the specific variables and coefficients of the application. The assembly is a printing of symbol systems restored to the structure their solutions presuppose.

> Definition (Detached symbols). A symbol is detached when it appears in a printed equation without the variable key that identifies it. The symbol survives as a printed character string, but its connection to the underlying variable and to the structural relationship is not carried by the printed equation itself. The variable key is placed elsewhere on the page, and the reader must reconnect the symbol to its meaning.

The formal content of the topic can be stated as a relationship between two equation systems. Let the second-stage normal equations be denoted by a compact system $S$. When $S$ is assembled into three normal equations for a specific application, the result is a printed system $T$. The claim is that $T$ does not contain $S$ as a coherent algebraic object; $T$ contains only the symbols of $S$, detached from the structure that $S$ presupposes.

The approved source excerpts give the following specific evidence. The exercise systems of Lessons 5, 6 and 7 are printed as systems restored from the symbols and the variable key on the page, with the variable key detached and noted at each point. Examples 7.1 and 7.2 print their systems as symbol systems restored to the structure their solutions presuppose, with runs such as "zy", "zzyy", "$\beta_1$", "$\gamma_1$" appearing as three normal equations rebuilt. The module's own numerals are kept inside the field values: the e-tivity of Lesson 6 is numbered "7.1", and those of Lesson 7 are numbered "6.4"/"6.5"/"6.6". Assumption 3 of the IV method carries four sub-items and then "v) ASSUMPTION 4", "vi) ASSUMPTION 5", while the five assumptions are numbered 1 to 5.

The notation used in the source is as follows. The symbols $\beta_1$ and $\gamma_1$ denote structural coefficients of the simultaneous-equation system. The symbol runs "zy" and "zzyy" denote products of instruments and variables that appear in the normal equations. The three normal equations are the equations that result when the second-stage normal equations are written out for the specific system. The variable key is the list that maps each symbol to its variable; it is detached from the printed equations.