Al-Ihkam fi Usul al-Ahkam, p. 875 · Type 3: Lawgiver mentions an attribute otherwise pointless · Suhuf