A controlled switch is trusted only after the below, boundary, and above-threshold rows are all visible. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
A controlled switch needs rows around the boundary
The source and load stay fixed while the control input is scanned below, at, and above the threshold. That makes the boundary a displayed row, not a hidden assumption.
Vc>Vth⇒closed
Three control values expose the strict decision
Only the last row closes. The two earlier rows carry zero load current because this ideal controlled switch uses a strict greater-than rule.