Added SpecificationExample.