Improved specifications