Edits to design assumptions