Local Specification