Introduction rules appealing to absurdity preserve harmony by deriving falsum through standard infer...
This proposition has not been edited since the history system was added.