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