इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें कठोरता प्रमाण तुच्छ है, क्योंकि S5 में प्रस्तावनात्मक तर्क शामिल है.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "कठोरता प्रमाण तुच्छ है, क्योंकि S5 में प्रस्तावनात्मक तर्क शामिल है; सदस्यता भाग को यह दिखाकर सिद्ध किया जाता है कि किसी भी संतोषजनक सूत्र में एक Kripke मॉडल है जहां दुनिया की संख्या सूत्र के आकार में रैखिक है। "