Title: Natural Deduction in Propositional Logic