If Brian Thomas Jr. is traded before Dec 1, 2026, then the market resolves to Yes. The trade must be officially processed and approved by NFL before Dec 1, 2026 for market to resolve to Yes. If Brian Thomas Jr. later fails their physical and/or the trade is rescinded for any reason after being officially processed, the market nonetheless resolves to Yes. This market will close and expire early if the event occurs or after the official trade deadline has passed.