[Marks] With Anthony Davis waiving his trade bonus, Dallas is now $628K under the luxury tax. They were $5.1M over prior to the trade.