All tagged Predicate Logic Natural Deduction