setting -> at-least-3 (better name)

Also update the notes, and add an implementation of seq.