Specifying OS 2200 and MCP Threshold Conditions