An alternate version to specification 18

(a) would be (a') below, which declares an exception rather than requiring that the list not already contain the element to be inserted:

(a') exception: throws Dupl i cateElem if val is already in 1 ist ensure: 1 i s t contains all of its previous values plus val Which version of specification, a or a', is better, and why?