1. 0-seq/
  2. 1-seq_trend_and_lim/
  3. 2-convergent_seq_prop/
  4. 3-seq_lim_op/