1. Augment the specification of Exercise 5.69 by imposing the requirement that, if the input value is negative, an appropriate error message is printed. 2. Go back to the specification of the search procedure (number 7) given in Would the procedure still be adequate if the variable table were a global variable instead of an input parameter? 3. Modify the logic specification of the elevator system by taking the elevator's acceleration into consideration.