고건 공식이 맞는듯