Page "Constructive analysis" Paragraph 18

Conversely, one may argue that the true meaning of IVT, even in classical mathematics, is the constructive version involving the locally non-zero condition, with the full IVT following by " pure logic " afterwards.