nomnomconflicts

They paid a total of 2 people $50,000 (edit: in 2016 dollars).

That doesn't seem like enough to entirely shape worldwide discourse around nutrition and sugar.

A contradictory example where this does occur is in propaganda. Technology can be applied to maximize the reach and influence of otherwise inferior arguments at a fraction of the cost. A relatively small sequence of "shows" or "films" can disproportionately affect the world view of billions.

edit: The adoption of cigarettes across the world was affected by a significantly much smaller investment in ad placement compared to its global adoption and affects due to the reach and amplification "of technology".

- "Note that conforming C3 compilers are not obliged to use pre- and post-conditions at all." means a compiler doesn't have to use the conditions to select how the code will be compiled, or if there's a compile-time error.

- "However, violating either pre- or post-conditions is unspecified behaviour, and a compiler may optimize code as if they are always true – even if a potential bug may cause them to be violated." basically, it just states the obvious. the compler assumes a true condition is what the code is meant to address. it won't guess how to compile the code when the condition is false.

- "In safe mode, pre- and post-conditions are checked using runtime asserts." it means that there's a 'mode' to activate the conditions during run-time analysis, which implies there's a mode to turn it off. this allows the conditions to stay in the source code without affecting runtime performance when compiled for production/release.