محقق خویی: مفروض سخن اقسامی دارد:
1. رابطه عینیت 2. رابطه عینیت نیست
در رابطه عینیت:
1. یقین به سقوط داریم که معلوم است
2. یقین نداریم. در این صورت مقتضای اطلاق دلیل عدم سقوط است زیرا محال است انطباق محبوب بر مبغوض و مقتضای اصل استصحاب و الّا برائت است.
در رابطه عدم عینیت:
1. توصلی است حتماً ساقط می‌شود
2. تعبدی است باز نیز ساقط می‌شود
زیرا عمل همه شرائط را به حسب فرض دارد و لذا بنا بر قول به جواز اجتماع قائل به صحت عبادت هستیم.
حسن فاعلی نیز لازم نیست بیش از این بلکه حسن فاعلی هم هست لکن حیثیتی است.
تحقیق: اختلاف سلیقه و اقوال - کلام شیخ طوسی و محقق در معارج

نکات در اطراف روایات ظهر و بطن
1. توسیع در مصداق معنا 2. استفاده مدلول تصدیقی جدید
3. توجیه موارد جواب های مختلف - شاید غالبا از قبیل اول یا دوم بوده است(ربطی به استعمال در بیش از یک معنا ندارد و به کار استنباط می‌آید)
4. ظهره تزیله و بطنه تاویله معنای دیگری از بطن است و منافاتی با گذشته نیست چون متوافقین هستند(ربطی به استعمال در بیش از یک معنا ندارد)

نقد اشکال محقق خویی بر مسلک تنزیل - از شواهد غیر واقعی بودن نزاع - اسلم از همه تعاریف در وضع تعریف مشهور است که آن را به اختصاص لفظ به معنی تفسیر می‌کند.
تحلیل پدیده وضع و تفاهم با نگاه به تراث دینی از آیات و روایات.
مساله گفتگو از وضع و تفاهم مخصوص عالمان مسلمان نیست.
از آیات مرتبط با مقام الرحمن علّم القرآن خلق الانسان علّمه البیان وجه تقدیم علّم القرآن بر خلق الانسان به دو وجه: 1. فخامت و عظمت قرآن و تعلیم آن 2. منظور تعلیم به فرشتگان و اهل آسمان باشد که قبل از خلق انسان است.
تفسیر علّمه البیان به: تعلیمه النطق و الکتابة و الخط و الفهم و الافهام - تدریجی نبودن این تعلیم - تعلیم به الهام الهی.

لزوم تجدید ساختار اصول
مسائلی باقی مانده از اصول
در علم اصول زوائدی از حجت بحث است نه مسائل زائد
دفتر دوم و سوم دراصول و مراد از آن
الهیاکل المفروضة فی بعض المتون الاصولیة
ساختار اصول مطابق الذریعة
سید مرتضی
ساختار اصول در عدة الاصول
ساختار اصول در تهذیب الاصول