Updated design docs
TODO fix