First of all, note that we have to be able to tell whether a particular location in the array is still empty, or whether it has been filled yet. We therefore assume that there is a unique key (which is never associated with a record) which denotes that the position has not been filled yet. This key will not appear in the pictures we use.