possible implementation to address  #13183

possible implementation to address #13183
To clarify just in case, I'm perfectly fine with whatever operator you choose obviously, just curious. :)