spec1 : first spec