Solutions versus Specifications