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