σ-sentence
   HOME