"natural deduction"@en . . . .