التنزيلي هو الذي يحرز لنا تعبّداً موضوع وجوب الحجّ، فيكون بمثابة الأصل السببي بالنسبة إلى‏ الأصل المؤمِّن عن وجوب الحجّ، وأمّا الأصل العمليّ البحت فلا يثبت به تعبّداً العدم الواقعي لوجوب الوفاء، فلا يكون حاكماً على‏ الأصل الجاري في الطرف الآخر، بل معارضاً.

تلخيص للقواعد الثلاث:

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

والقاعدة العملية الثانية الحاكمة هي البراءة الشرعية.

والقاعدة العملية الثالثة منجِّزية العلم الإجمالي، أي تنجّز الاحتمال المقرون بالعلم الإجمالي وعدم جريان البراءة عنه.