Notes on Abstractions

Abstraction #12a