Initialized and added the specification for assignment 0