Instructions
- Initialize mathematical-constraint-formalization operational context
- Execute primary protocol actions
- Validate results and generate output
Examples
- "Execute mathematical-constraint-formalization protocol"
- "Run mathematical constraint formalization analysis"