The helper derives switch state from exact control and threshold voltages before it computes current. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Below threshold leaves no load current
The lower control is 2 volts, below the threshold, so the load current is 0 amperes.
2V<3V
Above threshold closes the load path
The higher control is 5 volts, above the same threshold, so the load current becomes 3 amperes.