Intended Model Specification Protocol | Axiomatization | Mathematics | NEROS