Здравствуйте, σ, Вы писали:

σ>Если программа constructed according to the syntax and semantic rules , а нарушение semantic rules, или ещё что-то подходящее под определение UB, возникнет во время её execution, то это никак не отменит well-formed

Если "возникнет", значит "not constructed according..." — все просто.