Update Specification examples for context clarity