Text this: Advances in Natural Deduction