Proof Object Construction Protocol Design | Proof Object Construction | Mathematics | NEROS