Update 2013-08-05-logic.md