We develop the Evolutionary Systems Design (ESD) formal consciousness model for international negotiation extending the usual cognitive rationality of formal models to right rationality validated subjectively by cognition, affection, conation, holistically, and spiritually. Two subjective validation tests for right rationality are described. The purpose is to attain right negotiation agreements in international negotiation. Practice and computer implementation are discussed and applications presented. Though the ESD general formal mathematical model is an evolving difference game, in applying it to specific problems mathematical symbols are not normally used, relations between generally familiar sets of elements being expressed by tables (matrices). We believe that ESD can help close the gap between formal modeling and practice of international negotiation.