more spec docs