Talk:Normal form (natural deduction)