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