File:Example formalization.svg Source: en.wikipedia.org/wiki/File:Example_formalization.svg