ACL2は年明けから相手のレベルが段々と上がる中で代表歴のあるジェバリがいてくれたら助かるなぁ。