Natural deduction Problems