Definability Analysis Review and Validation Protocol | Definability Analysis | Mathematics | NEROS