This archived post has moved to /not-a-research-blog/2016/11/08/substitutional-vs-objectual-quantification/.