なので推論に使える「深さ」があってそれをオーバーしたのでtoo complexで諦めた？