Title: Abridgments of specifications