Tightness Analysis Protocol Design | Tightness Analysis | Mathematics | NEROS