ä Some operations affect more than one
entity. Logically, a function returns more
than one value
ä Stack pop operation returns both the value
popped from the stack AND the modified
stack
ä May be modeled algebraically using
multiple operations (TOP and RETRACT
for a stack) but a more intuitive approach
is to define operations which return a tuple
rather than a single value