Write the Right Specification