이정도면 closed formula로 인정해줌?