इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें ये संभावनाएं अवलोकन के लिए एक संभावना वितरण का'पूर्वानुमान'बनाती हैं, जिसे रे सोलोमनोफ ने मशीन-अपरिवर्तनीय (अपरिवर्तनीय प्रमेय कहा जाता है) साबित किया है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "ये संभावनाएं अवलोकन के लिए एक संभाव्यता वितरण का 'पूर्व' रूप देती हैं, जिसे रे सोलोमनोफ ने मशीन-अस्थिर (अस्थिरता प्रमेय कहा जाता है) साबित किया है और इसका उपयोग बेय्स प्रमेय के साथ उस अवलोकन की सबसे संभावित निरंतरता की भविष्यवाणी करने के लिए किया जा सकता है। "