 In his method, Jayarāśi analyses a particular thesis T of his opponent by, first, listing all logical implications or all doctrinally possible conclusions C1, C2, C3, … Cn, admissible within the opponent’s system, that follow from thesis T. Then he demonstrates how and why each of such conclusions C1, C2, C3, … Cn either leads to an undesired consequence (logically problematic or unwelcome within the opponent’s system) or contradicts the initial thesis T: