Notes on choice sequences Notes to myself as I am reading Troelstra's “Choice Sequences” Building To build, run arara notes.tex.