Irshad al-Fuhul ila Tahqiq al-Haqq min 'Ilm al-Usul, p. 558 · Issue 4: Types of Contrary Implication · Suhuf