Understanding Specifications