I don't care how it happens. I want Patterson or Allen drafted by Miami. Trading down and getting one of the two would be stellar.