Abstractions 7-9:30