minor comment
use ChangeNode whenever possibru
introduce absolute values, deduce them from [-] loops