https://9pdf.org/document/zpnv62j0-sequent-calculus-dialogues-elimination-doubtful-personal-insights-dialogues.html