reducing actions (given the manipulator, a finite set of
