공식 있음?