coherent and rigorous theory of deterministic global optimization, highlighting the