No one tell them that Lauda is still on DT.
Lauda's removal from DT1 actually
increased Lauda's "strength" on DT:
Lauda had (2) net-inclusions on DT1.
Lauda now has 6 net-inclusions on DT2.
Lauda got blacklisted from DT1.
I have 2 scenarios
1: suppose Lauda wasn't blacklisted, but got 3 more exclusions from other DT1 members. That would mean Lauda was removed from DefaultTrust entirely.
2: the current state (Lauda blacklisted from DT1). Now suppose Lauda gets the same 3 exclusions from DT1. That would mean Lauda still has 3 net-inclusions on DT2 and remains on DefaultTrust.
This means it is possible that a DT1-exclusion leads to a member being on DT2 which wouldn't happen without blacklisting. This is probably caused by the fact that excluded DT1-members can vote against other DT1-members, but they can't vote against DT2-members.