इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें तीसरा, गार्ड को प्रतिबंध भंडार और इन समीकरणों से सम्मिलित होने के लिए जाँच की जाती है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "तीसरा, गार्ड को बाध्यकारी स्टोर और दूसरे चरण में उत्पन्न समीकरणों से संलग्नता के लिए जाँच की जाती है; गार्ड में वे चर हो सकते हैं जिनका खंड के सिर में उल्लेख नहीं किया गया हैः इन चरों को अस्तित्व में व्याख्या की जाती है। "