(ABM) A framework designed to ensure that the continued functioning of the Program specifies that a proxy can decide which future