On 19 Oct 2025, at 21:17, Sergei Egorov <xxxxxx@acm.org> wrote:

> I plan to add the following paragraph to the first subsection of the Specification section. Please let me know
> if you think it requires further clarification.

It’s clear enough, although not particularly satisfactory. Making it UB is solving the problem by not solving it. Do you have a strong reason to favour UB in this case, as opposed to either of the solutions I suggested?

Daphne