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