Work done in the doc, which can be added to as needed and posted.