おい。invariant周りでコンパイル通らなくなったぞ。
まーた全部書き換えかよ…