Added in the extension section to the design document