P.S. See also Kavitha Tupelly, Vladik Kreinovich, and Karen Villaverde, "Checking if There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm", Reliable Computing, 2005, Vol. 11, No. 4, pp. 291-312. where modal idea are used to prove an algorithm's correctness