Will "Biden" be said by every candidate in the 3rd RNC primary debate?

This market will resolve to "Yes" if "Biden" is said at least once by every participating candidate during the RNC primary debate scheduled for November 8, 2023. Otherwise, the market will resolve to "No." Pluralization/possessive of the word will count toward the resolution of this market. The resolution source is live video of the debate. In case of ambiguity, an official transcript and/or a consensus of credible reporting may also be considered. If this event is cancelled or delayed beyond November 15, 2023, 11:59 PM ET, this market will resolve to "No".