Normal Form Derivation Foundational Protocol | Normal Form Derivation | Mathematics | NEROS