Sharh al-Kawkab al-Munir, p. 1591 · Section on Implication When a Type Is Specifically Mentioned · Suhuf