Please give a good example of Requires, Effects, and Modifies specifications for simple procedures (apart from hasNext(), next() and remove() I already have for these). Please also transform a procedure that has a Requires clause into one that uses exception handling instead