The Semantic Police: Stop or my compiler will prove a theorem (opens in new tab)

Natural language is beautiful for poetry, but lethal for processors. When we describe a language loosely, we leave room for "undefined behavior", which is the dark matter of the programming universe where anything can happen.