Proof Theory Protocol Design | Proof Theory | Logic | NEROS