ADL needs to exist, but basis traders being ADL'd despite being delta-zero is a real problem
An exchange's job is to de-risk during volatility, and since ADL sorts by lev*pnl, basis traders end up erroneously near the top of the list