A threshold decision follows the computed node voltage, so loading can change the ideal decision. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Before the load, the node is above threshold
The unloaded output is 8 volts, which is above the 7 volt threshold.
8V>7V
After the load, the node is below threshold
The loaded output is 6 volts, which is below the same threshold. This is an ideal threshold comparison; noise margins, hysteresis, and propagation delay are deferred.