Al-Ihkam fi Usul al-Ahkam, p. 877 · Type 4: Lawgiver distinguishes two matters by an attribute · Suhuf