Comment by rwaldron

> behaviour is well defined.

True, and we could go one step further: it's unambiguously defined, with invariant rules that can be used to prove a conformant implementation.