토큰 이랑 연산만 해결되면 


사실상 병렬 가짓수 무한대로 뻣어나가게 할 수 있는 거 아님? 한가짓수가 사실상 cot 겠고 


두가짓수 부터 병렬 검증 루프로 들어갈텐데 


토큰만 해결되면 이론상 무한 병렬 인거 같은데