Reconsidering a proportional system of timber-frame structures through ancient mathematics books a case study on the Muryangsujŏn Hall at Pusŏksa Buddhist Monastery