σ < 保守契約はどうなってるんだろう
 (V)
  ||