ACL2があることを考えると最低でも3人は入って来ないと相当厳しいと思うけどそれが出来るフロントとは思えないしな。