거의 해석학이 증명위주의 학문아닌가..