Lens Protocol Airdrop by May 1?

In Response to Trader Inquiry: Token sales are not airdrops. Tokens need to be distributed to users’ wallets for free or through claiming with a gas fee for it to be an airdrop. This is a market on whether Lens Protocol (https://www.lens.xyz/) will both launch and airdrop a native token by May 1, 2023, 11:59:59 PM ET. Launching a token can be defined as a deployed-to-mainnet, actively transferrable and/or tradable token that is in some way native to the underlying application or protocol, and substantiated by the respective project via website or official social media channels. Airdrop in this context means that a nonzero portion of this token’s supply must have been distributed (by claiming, directly, etc.) to at least one subset of actors relevant to the underlying project. If this project launches a token and performs an airdrop by May 1, 2023, 11:59:59 PM ET, this market will resolve to “Yes”. If one or both of the objectives are not met by the resolution date, the market resolves to “No”.