A notion of a requirements file