The specification of project1