取ってからACL2ですって言われたら大ブーイングでしょ
決まってるなら後回しにする必要ない