I cannot contribute to the discussion meaningfully, but I think that (operation!! mutee) could be a decent naming convention. A single ! can be seen as (you will be confused!) , whereas two !! can be seen as (you will be confused! and not where you expect to be!)
On Mon, 29 May 2023 at 17:35, Alex Shinn <[email protected]> wrote: > > On Mon, May 29, 2023 at 10:26 AM John Cowan <[email protected]> wrote: >> >> On Sun, May 28, 2023 at 8:45 PM Alex Shinn <[email protected]> wrote: >> >>> This seems to be WAI. >> >> >> I don't know what "WAI" is. > > > Working as Intended. > > -- > Alex > -- Yours sincerely, Vladimir Nikishkin (Sent from GMail web interface.)
