All tagged Natural Deduction for Predicate Logic