Changing the load changes the measured output, so the load is part of the circuit claim.
Changing the load changes the measured output voltage. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.