The specification of Project3