Remark: Finite network versus one strongly normalizing term

The proposition does not turn an indefinitely driven substrate into a reduction sequence of one fixed term. For example, an external driver may request a new gate at every tick forever, although every requested local program terminates. Strong normalization of individual terms does not prohibit that external drive.