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 <xxxxxx@gmail.com> wrote:
>
> On Mon, May 29, 2023 at 10:26 AM John Cowan <xxxxxx@ccil.org> wrote:
>>
>> On Sun, May 28, 2023 at 8:45 PM Alex Shinn <xxxxxx@gmail.com> 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.)