इस वाक्य का एक और जटिल संस्करण उत्पन्न करें ओरना ग्रुमबर्ग (जन्म 14 मई, 1952) एक इजरायली कंप्यूटर वैज्ञानिक और शिक्षाविद हैं, जो टेक्नियन में विज्ञान के ल्यूमी चेयर हैं ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "ओर्ना ग्रुमबर्ग (जन्म 14 मई, 1952) एक ग्राउंडब्रेकिंग कंप्यूटर वैज्ञानिक और अकादमिक हैं जो मॉडल चेकिंग विकसित करने के लिए जाने जाते हैं, जो हार्डवेयर और सॉफ्टवेयर डिजाइनों को औपचारिक रूप से सत्यापित करने की एक विधि है। "