مناقشة السيّد الشهيد للمحقّق النائيني المحقّق النائيني اعتمد على فكرة متمّم الجعل ، أي الجعل الثاني الذي به يتمّم الجعل الأوّل المهمل ، حيث أخذ العلم بالجعل الأوّل قيداً في الجعل الثاني ؛ لأجل إيجاد نتيجة التقييد أو نتيجة الإطلاق . وهذه الفكرة وإن كانت ترفع محذور الدور ؛ وذلك لأنّ ثبوت الجعل الثاني متوقّف على العلم بالجعل الأوّل ، والجعل الأوّل غير متوقّف على العلم بالجعل الثاني ، لكنّ هذه الفكرة غير تامّة من جهة أخرى . بيان ذلك : إنّنا نتساءل عن تقييد الجعل الثاني بالعلم بالجعل الأوّل ، هل المقصود به تقييد الجعل الثاني بالعلم بالجعل الأوّل ، أم المقصود به تقييد الجعل