Abstraction

[work on paper]