Exchange Argument Protocol Design | Exchange Argument | Mathematics | NEROS