じゃあLANAの
＞第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築
で第１の目的は第２の目的と直接関係ないってことでいいわけだね
それ以上こちらから言うことはない

白黒思考の持ち主には理解できないことかもしんないけど
こっちはIUTとも全然無関係だし