इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें पहले मामले की ओर मुड़ते हुए, पंक्ति 1 में स्वयंसिद्ध के साथ पंक्ति 12 को हल करने से पंक्ति 14 में प्रोग्राम चर M का उदाहरण मिलता है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "पहले मामले की ओर मुड़ते हुए, पंक्ति 12 को पंक्ति 1 में स्वयंसिद्ध के साथ हल करने से पंक्ति 14 में प्रोग्राम चर एम का उदाहरण मिलता है; सहज रूप से, पंक्ति 12 का अंतिम संयोजन उस मान को निर्धारित करता है जिसे एम को इस मामले में लेना चाहिए। "