"Tusi mentions two types of argumentation that the tradition describes as assertoric proof or quia (burhan inni) and demonstrative proof or propter quid (burhan limmi), the former is an inference from effect to cause and the latter is from cause to effect."