Abstractions

Abstractionsc b