TODO doc (mostly a design doc)