The Set Interface Models The Set Abstraction Mcquay