add spec docs