Adding Specification examples