Initial file for the specification