Specification of project4