Redux ProtocolCommunication with General Agents From Agent to Redux From Redux to Agent MakeRootGoal Tell Ask-All Reply CreateDecision Sorry MakeDecision Error CreateMakeDecision RejectDecision RejectCurrentDecision RejectCurrentForNew RejectOldForNew CreateConstraint DeclareConstraintViolation ResolveConstraintViolation RelaxConstraint Insert Uninsert Trace Update UnTrace