الواقع يتوقف على دلالته بالملازمة على تنزيل القطع بالواقع التنزيلى منزلة القطع بالواقع الحقيقى مع انه لا واقع تنزيلى الا بهذا الدليل وان شئت قلت ان دلالة الدليل على تنزيل المؤدى منزلة الواقع يتوقف على تنزيل القطع بالواقع الجعلى منزلة القطع بالواقع الحقيقى بالملازمة.

اذ المفروض انه لا اثر شرعى لمتعلق القطع الا كونه جزءا للموضوع او متعلقا له ولا بد من ثبوت الجزء الآخر وجدانا او تنزيلا حتى يشمله دليل التنزيل للمؤدى ولا دلالة له كذلك الا بعد دلالته على تنزيل المؤدى فيلزم الدور وقد اشار الى بيانه بقوله.

فانّ دلالته على تنزيل المؤدّى تتوقّف على دلالته على تنزيل القطع بالملازمة ولا دلالة له كذلك إلّا بعد دلالته على تنزيل المؤدّى فانّ الملازمة انّما تدعى بين القطع بالموضوع التنزيلي والقطع بالموضوع الحقيقى وبدون تحقّق الموضوع التنزيلي التعبّدى اولا بدليل الامارة لا قطع بالموضوع التّنزيلي كى يدعى الملازمة بين تنزيل القطع به منزلة القطع بالموضوع الحقيقى وتنزيل المؤدى منزلة الواقع كما لا يخفى فتامّل جيّدا فانّه لا يخلو عن دقّة

نعم يرتفع محذور الدور اذا كان الدليل متكفلا للتنزيلين فى عرض واحد اما بالمطابقة او بان يكون احد التنزيلين مدلولا مطابقيا والآخر مدلولا التزاميا فيكون الدليل الواحد كاشفا عن التنزيلين المتقارنين ولكن قد عرفت استحالة تحقق التنزيلين كذلك لما ذكرنا آنفا من ان القطع بالواقع التنزيلى كان متأخرا طبعا عن الواقع التنزيلى