Biden nominated by August 7?

This market will resolve to "Yes" if Joe Biden is formally nominated by the Democratic National Committee as the Democratic presidential candidate by August 7, 2024 11:59 PM PT. Otherwise, this market will resolve to "No." The resolution source will be official announcements from the Democratic National Committee, however a consensus of credible reporting may also be used.