style window in front of the Program specifies that a proxy can decide which future