التنزيل فإذا كان نصب الطريق إلى الواقع موجبا للحكم بفراغ الذمة عن الواقع بتوسط كون مؤداه بمنزلة الواقع مثلا فترتب الحكم بالفراغ على جعل الواقع أولى (قوله: ان قلت كيف) يعنى كيف يستلزم الظن بالواقع الظن بحكم الشارع بالفراغ بموافقته مع أنه قد يقطع بعدم كونه طريقا عنده كالظن القياسي وحينئذ يقطع بعدم حكم الشارع بالفراغ مع هذا الظن (قوله: قلت الظن بالواقع) يعني أن الحكم بالفراغ ليس مختصا بنصب الطريق بل يترتب على اتيان الواقع أيضا فان جعل الطريق إنما يوجب الحكم بالفراغ عن الواقع من جهة كون مفاد الجعل جعل المؤدى بمنزلة الواقع أو جعل الطريق بمنزلة العلم بالواقع فالواقع لما كان ملحوظا لدليل الجعل كان الجعل موجبا للحكم بالفراغ، وحينئذ فايجاب جعل الواقع للحكم بالفراغ عنه بالعمل على طبقه أولى كما تقدم (قوله: لتجريه) تعليل لكونه مستحقا للعقاب، وكان الأولى عطف التشريع على التجري فان البناء على أنه حجة تشريع موجب للعقاب (قوله: فافهم) يمكن أن يكون إشارة إلى أن العقاب المستحق في هذه الصورة من جهة التجري لا ينافي الحكم بالفراغ عن الواقع