Update 2013-06-12-assertion.md