/posts/2017-04-08-why-rank-2-existential-quantificationを開いてください。