The Specifications Are Complete