Closely related to the classical principle Ex Falso Quodlibet, Falsum elimination makes good on the definition of the falsum as a claim from which everything follows.
Preview shown for the Point And Click derivation type in the LRC_P system
