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