As anexampleofrefinement of detail: A logicsystemmayhavetwoopposinginputs, e. g. , a command to openand a command to close, which do notnormallyexistsimultaneously;
In my view, Japan has already signalled that decision with its actions at the G-7 Tokyo Economic Summit opposing an unequivocal endorsement of making the NPT open-ended.