System Specification and Progress