DATX11-VT26-03_Proof-editor-natural-deduction.pdf