Created 2014-02-04-the-informal-does-the-formal.md