On my computer, when I get an email that I want to be filtering into a folder (or spam, or whatever), I can select "Filter messages like these" to set up this filter. I don't see this option on my phone. If it exists already and someone here tells me how to use it, I will resolve YES now! Otherwise, I will resolve YES when Gmail rolls this feature out, and NO if this doesn't happen by end of 2023.

General policy for my markets: In the rare event of a conflict between my resolution criteria and the common-sense, consensus spirit of the market, I may resolve it according to the market's spirit or N/A, probably after discussion.