Specification of project3