Made the statement of our problem a little more formal.