主張の式の左辺から察するに、モニックがすごく効いてくるんだろうな