optimally

Program specifies that a proxy can decide which future