Text this: On global optimization using interval arithmetic.