Lecture 7: Data Abstractions Motivating Example Abstract Data