All tagged Predicate Logic with Identity