This axiom holds true in everything from cardiac pacemaker micro-code ( http://www.freepatentsonline.com/5843138.html ), space shuttle avionics ( http://tinyurl.com/475kyv ), or my favorite current example of real-world purposeful constraint, SQLite ( http://www.sqlite.org/version3.html ).