Update 2012-09-02-happen-before.md