A Few Specifications