Update 2014-11-09-logic-1.md