Definability Analysis Protocol Design | Definability Analysis | Mathematics | NEROS