problem specification