All tagged Natural Deduction for Propositional Logic