|entries|natural-deduction|