Undefined behavior consists of exactly one proposition, to wit: There must be compiler developers whom the language standard protects but does not bind, alongside developers whom the language standard binds but does not protect