If there are theorems of analysis provable with diagrams we do not yet have a mathematical demarcation criterion for them. A natural place to look would be O-minimal structures on the reals—this was brought to the author’s attention by Ethan Galebach. This is because of some remarkable theorems about such structures which exclude all the pathological (hence vision-defying) functions on the reals (Van den Dries 1998), such as continuous nowhere differentiable functions and “space-filling” curves i.e., continuous surjections \(f:(0, 1)\rightarrow(0, 1)^2\). Is the IVT for functions in an O-minimal structure on the reals provable by visual means? Certainly one objection to the visual argument for the unrestricted IVT does not apply when the restriction is in place. This is the objection that continuous nowhere differentiable functions, having no graphical curve, provide counterexamples to the premiss that any \(\varepsilon\textrm{-}\delta\) continuous function \(f\) on \([a, b]\) with \(f (a) &lt; c &lt; f (b)\) has a visually continuous graphical curve from below the horizontal line representing \(y = c\) to above.  But the existence of continuous functions with no graphical curve is not the only objection to the visual argument, contrary to a claim of Azzouni (2013: 327). There are also counterexamples to the premiss that any function that does have a graphical curve which visibly crosses the line representing \(y = c\) takes \(c\) as a value, e.g., the function \(x^2 - 2\) on the rationals with \(c = 0\). So the question of a visual proof of the IVT restricted to functions in an O-minimal structure on the reals is still open at the time of writing.