Notes on Abstractions

Abstraction #2