A Simple Specification Is