Al-Ihkam fi Usul al-Ahkam, p. 528 · Issue 8: Negating Equality Between Two Things Implies Negating All Equivalence · Suhuf