Monadic Analysis Protocol Design | Monadic Analysis | Mathematics | NEROS