A design document has been added.