इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें, हालांकि, पहचान के साथ मोनाडिक प्रेडिक्ट कैलकुलस की वैधता निर्णायक हैं.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "पहचान के साथ मोनाडिक प्रेडिक्ट कैलकुलस की वैधताएं निर्णायक हैं, हालांकि; यह प्रथम-क्रम तर्क है जो उन हस्ताक्षरों तक सीमित है जिनके संबंध प्रतीक समानता के अलावा कभी भी एक से अधिक तर्क नहीं लेते हैं। "