ملخص الجهاز:
"و التزم الحرانی بتحقیق هذا الهدف من خلال تمسکه بقاعدة الاتصال و التوالی، و التی نجد نصا واضحا لها بالصورة الآتیة:- قاعدة الاتصال و التوالی:- «و کلما کان لک فی المسألة شرط او مفروض فأقربه بمفروضات المسألة لیخرج لک ما تریده مفروضا،و ینبغی ان تکون اذا وجدت مفروضا فی المسألة لم یکن لک و لا هو الذی ترید علمه،او علمت عملا ان تحفظه او تضیف الیه اما شرطا آخر او مفروضا او قضیة و تستعمله،فانک متی ترکته و لم تستعمله لم تنتفع به، و انما تحتاج ان تربط عملک بعضا ببعض علی الاتصال و التوالی»45 تنطوی هذه القاعدد علی مجموعة من الشروط المنطقیة التی یجب اتباعها عند الشروع باجراء الحل،کما تشتمل علی معیار منطقی فی غایة الاهمیة هو الترابط المنطقی بین القضایا فی سلسلة استنتاجیة من دون ترک ما هو ضروری للبرهان سواء کان ذلک بقصد الاختصار او بقصد ان ما ترک معروف لا حاجة الی ذکره.
(48)المصدر نفسه:ص 60 ثالثا:یتیح التحلیل مراجعة الحل بسهولة للتأکد من النتائج التی توصلنا الیها،و هذا امر محمود بالنسبة لطریق الترکیب کذلک،لان الترکیب کما سنجد هو معکوس التحلیل،اذ نبدأ فیه من حیث انتهی التحلیل، و قد اجمل الحرانی مراجعة فانظر الآن ان کنت قد تأدیت الی حق فقل ان ما انتهیت الیه حق،و ان کان محالا فقل انه محال،و ان کان یحتاج الی شریطة او کان سیالا او غیر ذلک مما قد تقدم تقسیمه فخبر بما انتهیت الیه،و اذکر ما ینبغی ان یکون فیه من شریطة علی ما ذکرناه مما قیل من احد الشریطة بالقرب من مفروضات المسألة لتعلم ان امر المسألة یتعلق بشریطة،و الا فمتی الخذت الشریطة بالبعد من مفروضات المسألة کان فی ذلک ما تقدم القول فیه من العیوب،و مع ذلک فقد یوهمک ما تعمله بالبعد من مفروضات المسألة کما قلنا فیما تقدم ان المسألة تحتاج الی شریطة و لیست کذلک و لا تعمل من ذلک شیئا الا بعد ان تطالب نفسک بان تحیط بالعلم بسببه و العلة فیه."