that the same person is not entered into the customer list more than once. For the same reason,
we have also chosen to implement the set of passengers using class RWSet. However, we have
chosen to have this set live on the heap. This will help illustrate some points in the coming
discussion.
