Update 2014-12-12-nominative-determinism.md