obstruction은 Manin obstruction이 있다
환원주의적 관점에 봤을 때 local to global 철학은 정말 멋있음