 that Biden Democrats deployed against Donald Trump. And hopefully the decision today forecloses the temptation by Republicans to exact revenge or retribution by exploiting or manipulating statutes to punish a political opponent. So this is not at all a partisan decision. You won't hear that on CNN and MSNBC.