Let's think of a pair of functions on the reals, into the reals, that would make each region of the diagram on p. 10 non-empty.
How can we characterize this function? What do we know about it?