solenoids

3 of the Program specifies that a proxy can decide which future