Will a top 5 pick be traded?

This market will resolve to "Yes" if any of the first 5 picks of the 2025 NFL draft is traded before the pick is used. Otherwise, this market will resolve to “No”. The resolution source will be official announcements made by the NFL, however a consensus of credible reporting may also be used.