Categorical Logic Formulation Review and Validation Protocol | Categorical Logic Formulation | Mathematics | NEROS