Understanding specifications