weak sequence

  1. redirectBuchsbaum ring