इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें उसी वर्ष बाद में, युआन यू ने TLA + विनिर्देशों के लिए TLC मॉडल चेकर लिखा।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "उसी वर्ष के बाद, युआन यू ने टीएलए + विनिर्देशों के लिए टीएलसी मॉडल चेकर लिखा था जिसका उपयोग कॉम्पैक मल्टीप्रोसेसर के लिए कैश सुसंगतता प्रोटोकॉल में त्रुटियों को खोजने के लिए किया गया था। "