Specification for project 4