Provability Analysis Protocol Design | Provability Analysis | Mathematics | NEROS