5:25 AM
existential PがPにconformしないのって結局どこがネックなんでしたっけ