ポヤトスは相当慎重になってるな
だからACL2でも若手使えない
突破を手中に収めない限りは使われんと思うな