How about 'Exec-Pick' or simply 'Pick' ?
-M
At 2024-08-08 14:17, you wrote:
>You are right. More important, the definition
>of 'Agenda' was imprecise & I have removed it. And, @. needs a better name.
>
>A gerund is the noun form of a verb. The m
>operand in m@.v is an /agenda/ (literally
>'things to be done'). @. itself should be
>named something like 'Execute From Agenda'. Can anyone think of better words?