The specification of project2