some additions to design doc