as for the third premise which is their statement that if the obligation of knowing the truth is proven then it is not without a person knowing it from himself or from someone else then this is a true premise that is not disputed. yes the argument about it is in a way that confounds the batiniyyah and prevents them from using it as we mentioned in the first premise and it is applicable to every true premise.
وأما المقدمة الثالثة وهي قولهم إذا ثبت وجوب معرفة الحق فلا يخلو إما أن يعرفه الانسان من نفسه او من غيره فهذه مقدمة صادقة لا نزاع فيها نعم المجادلة عليها بما يفحم الباطنية ويمنعهم من استعمالها كما ذكرنا في المقدمة الاولى وهي جارية في كل مقدمة صادقة