All tagged Identity Statements in Predicate Logic