ACL2みたいに、ジェネリックワールドカップやって落選メンバーだけの大会とか作ってほしい