Text this: Natural deduction :