Choosing and Defending Specifications