Proposed Specification Language Regarding Pacing