Checkpoint: need to update to deal with lists in the upper and lower bounds