tidying some of the negotiation and machine logic (switching away from heavy operators) before evaluating extending the machine graph for better negotiation support