[082349872349872]

thanks! very close, except for https://en.wikipedia.org/wiki/Direct_function#:~:text=guards...

(seems like a degenerate, empty, dfn also behaves differently?)

[082349872349872]

and, modulo the above, we could spell "do X ◻ Y od" as "{X ♢ Y}⍣≡"?