The falsum can be derived from any contradiction but as a single line formula it satisfies the requirements of certain further rules that the same formula appear on two separate lines. This may not sound like much, but it can cut derivation length in half.
Preview shown for the Point And Click derivation type in the LRC_O system