σ < ワロタテーノーミニモン、ノータリン
 (V)
  ||