 As Gorampa formulates the tetralemma, the process begins by analyzing and refuting existence. This is done by using the “Five Madhyamaka Reasonings” (dbu ma gtan tshigs lnga). These five types of reasoning are: