Operations of Specification