documentation, extending specs