Natural Deduction 2016