But it's not. AON orders can still be filled with shares sold short if the MM so chooses if a security is not under trade for trade restrictions. Trade for trade doesn't allow that because only matched trades can be transacted. Shares sold short must be borrowed thru the DTCC and the DTCC is now out of the picture.
This brings to mind another unanswered question. What happens to any air shares that were sold that haven't been borrowed or covered prior to the DTCC's actions? Maybe this is just another example of our government helping big money to make more big money. Don't know.