Will President Biden mention Donald Trump in his first Joint Address?

This is a market on whether President Biden will mention Donald Trump during his address to a joint session of Congress, scheduled to take place on April 28, 2021.This market will resolve to “Yes” if President Biden mentions any of the following words or phrases in his address: “Trump”, “Donald Trump”, “President Trump”, or “Donald”. This market will resolve to “No” otherwise. The resolution source for this market will be the official transcript of the joint address, as published by an official White House source (https://www.whitehouse.gov/briefing-room/speeches-remarks/). Note, a mention of any of the listed words will be confirmed by searching the text of this document and examining whether that word appeared (note further that all capitalization variations will be considered, and thus even a mention of the word “trump”, not in reference to Donald Trump, will be counted). This market will resolve after an official transcript of the address is published and the number of mentions can be verified. Update: In response to trader inquiries, the market will resolve on April 29, 2021 at 9pm ET according to the transcript published at the resolution source that most accurately reflects the speech as presented by President Biden.