project1 specification