It should be noted that the discussions about different ways to deal
with domain violations (ignore or flag/NaI), and hence the entire
topic of decorated intervals, are applicable only to he second domain.
The only decoration/NaI that seems applicable to the first domain is
the Single-NaI proposed by Motion 7: Invalid construction.
This suggests that both Motion 7 and the new Motion 8 might have to
be re-evaluated in a context where the two application domains are
formally distinguished.
A large part of past discussions may have suffered from arguments that
had only ONE of the two domains in mind, triggering disagreement from
those who had the OTHER domain in mind!